Programación por restricciones

Conceptos prácticos

Clase 2: Introducción a CSP

Clase 3: Generalidades de CSP I

Clase 4: Generalidades de CSP II

Clase 5: Modelado básico en Minizinc

Clase 6: Modelos complejos I

Clase 7: Modelos complejos II

Clase 8: Modelos complejos III

Clase 9 Modelos complejos IV

Conceptos teóricos

Clase 10 Solvers completos

Clase 11. Consistencia

Clase 12: Solvers incompletos

Clase 13: Propagación y búsqueda