Programmation par contraintes et ses applications
ECTS : 2
Lecturer in charge : Cristina BAZGAN (https://dauphine.psl.eu/recherche/cvtheque/bazgan-cristina)
Language of instruction : French
Teaching hours : 18
Course content:
- 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
Skills to be acquired:
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.
Bibliography, recommended reading:
Référence(s) :
- 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.