Nosotros trabajaremos sobre el análisis de la resolución de problemas de restricciones. Específicamente, nosotros estudiaremos los métodos basados en búsqueda local e intentaremos formalizar estos métodos mediante un enfoque matemático. El objetivo de esta formalización matemática será de probar ciertas propiedades de los métodos de resolución de restricciones basados en búsqueda local: noción de convergencia, de término en ciertos casos precisos, de exploración del espacio de búsqueda, ...Temas: Programación con restricciones, aplicación en música, composición asistida por computadores, metaheurísticas.