1. Introducción (Apt) (vanRoy y Haridi) [3h]

• Presentación del profesor, objetivos, contenido, metodología y formas de evaluación del curso.
• Conceptos fundamentales de la programación por restricciones.
• Aplicaciones de la programación por restricciones.
• Mozart: Lenguaje para la Propgramación por Restricciones

2. Problemas de Satisfacción de Restricciones (CSP) (Apt)[3h]

• Problemas de Satisfacción de Restricciones en los enteros.
• Problemas de Satisfacción de Restricciones en los reales.
• Problemas de Satisfacción de Restricciones en los Booleanos.
  

3. Mozart: Lenguaje para la Programación por Restricciones (vanRoy y Haridi) [9h]

• Modelo Declarativo
• Técnicas declarativas
• Concurrencia
  

4. La Programación por Restricciones: Teoría y práctica (Apt) (VanRoy y Haridi) [9h]

• Equivalencia de los CSPs.
• La estructura básica de la programación con restricciones.
• Algoritmos de propagación de restricciones.
• Programación por restricciones en Mozart: 

• Ejemplos básicos de propagación y distribución
• Eliminación de simetrías
• Restricciones redundadntes
• Más ejemplos: tutorial

Taller  práctico [3h]

Presentación de una Aplicación [3h]: Modelo del problema, implementación del modelo, implementación de estrategias de distribución, arquitectura de una apliación CCP.

Presentación del Proyecto

5. Completitud de algunos Solvers de Restricciones [3h]

• Marcos de pruebas teóricas.
• Derivaciones.
• Problemas de unificación.

6. Consistencia Local [3h]

• Nodo consistencia.
• Arco Consistencia.
• k-consistencia.

7. Incompletitud de algunos Solvers de Restricciones [3h]

• Igualdad y desigualdad de restricciones.
• Reglas de transformación.
• Reglas de reducción de dominios.

8. Algoritmos de Propagación de Restricciones [3h]

• Algoritmos de iteracciones genéricos.
• Algoritmos para un orden parcial arbitrario.
• Algoritmos de nodo consistencia.

9. Búsqueda [3h]

• Árbol de búsqueda.
• Árbol de etiquetado.
• Completitud de los árboles de etiquetado.

Sustentaciones del proyecto

Examen [3h]