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
- Enseignant: Fouzia ANGUEL