Contenus :

·        Définition d'un CSP : variables, domaines, contraintes

·        Algorithmes de recherche avec retour sur trace (Backtracking)

·        Heuristiques de choix de variables (MRV, degré) et de valeurs (LCV)

·        Propagation de contraintes : arc-consistance, AC-3

·        Applications des CSP : planification d'emplois du temps, affectation de ressources

Objectifs pédagogiques :

·        Modéliser un problème complexe sous la forme d'un CSP

·        Implémenter un algorithme de backtracking avec heuristiques

·        Analyser l'impact de la propagation de contraintes sur la réduction de l'espace de recherche

·        Appliquer les CSP à des cas d'usage concrets