Programmation par contraintes et ses applications

Objectifs : Ce cours vise à introduire les concepts fondamentaux de la programmation par contraintes et à étudier la modélisation et la résolution de problèmes à l'aide de la programmation par contraintes.

Contenu :
- Modélisation et résolution de problèmes à l'aide de la programmation par contraintes : intérêt de la programmation par contraintes, exemples,
- Types de contraintes, principaux algorithmes et heuristiques de résolution
- Utilisation du logiciel professionnel OPL Studio

Volume horaire 18 h cours

Bibliographie :
- K. Apt, Principles of Constraint Programming, Cambridge University Press, 2009.
- K. Marriott and P.J. Stuckey, Programming with Constraints: An Introduction, The MIT Press, 1998.
- E. Tsang, Foundations of Constraint Satisfaction, Academic Press, 1993.