Programmation par contraintes
Unité spécifique de type
cours
Réf. : US331K
Sessions de formation
(Fuseau horaire : Europe/Paris)
Aucune session n'est visible pour le moment
Présentation
Public, conditions d'accès et prérequis
Savoir programmer dans un langage de programmation
Objectifs
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
- 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
Modalités d'évaluation
- Projet(s)