Programmation par Contraintes (PPC)
- Titre :
- Programmation par Contraintes (PPC)
- Section :
- Optionnel
- État pour cette année :
- OPEN
- Mots clés :
- contraintes, résolution, consistance, extension, backtracking, learning, backjumping,
- Ects :
- 2
- Responsable :
- David Savourey (UTC)
- Intervenants :
- Prérequis :
Savoir programmer dans un langage de programmation
- Objectif :
Connaitre les spécificités de la programmation par contraintes ; Savoir modéliser un problème sous forme de CSP ; Reconnaitre les situations où la PPC peut être utile ; Comprendre les mécanismes sous-jacents de résolution (consistances, apprentissage par erreur notamment).
- Contenu / Plan :
- Introduction à la PPC, modélisation CSP
- Techniques de consistance
- Apprentissage par erreurs
- Étude d'un article de recherche
- Initiation à l'outil IBM de PPC
- Soutenances des projets
- Bibliographie :
-
-
Rina Dechter, Contraint Programming, 2003, Morgan Kaufmann.
-
Krzysztof R. Apt, Principles of Constraint Programming, 2003, Cambridge University Press.
-
- Liens :
- (aucun)
- Compétences visées :
savoir modéliser sous forme de CSP ; comprendre les algorithmes de résolution ; utiliser un solveur de PPC
- Modalités de contrôle :
projet en binome avec rapport et soutenance