Programación con Restricciones

Contenidos:

1. Problemas de satisfacción de restricciones (CSP).
   • Conceptos básicos.
   • Modelamiento de problemas basado en la satisfacción de restricciones.
2. Técnicas de resolución de CSPs.
   • Enumeración exhaustiva.
   • Consistencia local.
   • Técnicas híbridas.
3. Problemas de optimización con satisfacción de restricciones (CSOP).
   • Conceptos básicos.
   • Modelamiento de problemas basado en la optimización con satisfacción de restricciones.
4. Técnicas de ramificación y acotamiento para la resolución de CSOPs.
   • Técnicas basadas en backtracking.
   • Técnicas basadas en la ramificación y acotamiento.
5. Lenguajes para la programación con restricciones.
   • Modelamiento y resolución de problemas industriales utilizando los diversos lenguajes.