Description

• 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

Finalité

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).

Compétences visées

savoir modéliser sous forme de CSP ; comprendre les algorithmes de résolution ; utiliser un solveur de PPC

Public

Savoir programmer dans un langage de programmation