Programmation par Contraintes

Le cours Programmation par Contraintes est destiné aux étudiants de Master 2 "Systèmes Informatiques Intelligents". Ce cours  a pour objectifs d'initier  les étudiants à la modélisation des   problèmes de satisfaction des contraintes  , la résolution des CSP ainsi que l'apprentissage des bases de la programmation logique par contraintes.

Contenu  de la matière 

Chapitre 1.  Les contraintes 

Chapitre 2.  Contraintes sur domaines finis ou problème de satisfaction de contraintes (CSP)

Chapitre 3.  Programmation logique avec contraintes

Chapitre 4. Bases de données avec contraintes