Texto del curso

• K.R. Apt
  Principles of Constraint Programming,
  De Krzysztof R. Apt, versión oficial, editada por CAMBRIDGE University Press, disponible a partir del 2003. En la biblioteca de nuestra universidad se encuentra disponible el libro.
  

Transparencias del Curso

• Transparencias Estas transparencias fueron tomas del sitio web del libro guía. 
• Programación con Restricciones usando MOzArt: Conjunto de transparencias adaptadas de las originales de P. Van Roy y Seif Haridi. Introducción, El modelo Declarativo, Técnicas de Programación Declarativa, Concurrencia Declarativa, Programación  por Restricciones. 
• Tutorial de Programación por Restricciones en Dominios Finitos.

Modelamiento de Problemas con Restricciones

• Programas Oz Estos ejemplos son los que se usan en las primeras clases.
  

Talleres y Proyecto del curso
Taller preparatorio para el proyecto

Otro material

• Concepts, Techniques and Models of Computer Programming, de Peter Van Roy y Seif Haridi, versión oficial, editada por MIT-Press, disponible a partir de Marzo de 2004. Aquí puede encontrar información al respecto y aún más material sobre el tema.

En el año 2005 el grupo AVISPA, la Universidad del Valle y la Pontificia Universidad Javeriana realizaron un convenio con MIT Press para la edición del libro en Colombia. A partir de Octubre de 2005, el libro se consigue en la tienda javeriana a un precio excelente; recomendamos comprarlo.

• Introducción
• Conceptos Básicos: Restricciones, Técnicas y Modelación.
• Tutorial de Extensión de Sistemas de Restricciones.