Descriptif

La programmation par contraintes est un paradigme de programmation permettant de résoudre des problèmes combinatoires de grandes tailles tels que les problèmes de planification et d'ordonnancement. Dans cette approche, une séparation entre la partie modélisation à l'aide de problèmes de satisfaction de contraintes (une contrainte étant une relation logique entre différentes variables) et la partie résolution est réalisée. Cet enseignement présente les fondements de la programmation par contraintes en mettant l’accent sur la modélisation et les algorithmes de résolution (systématique, filtrage) pour les problèmes dont les variables prennent des valeurs discrètes ou continues.