Programmation par Contraintes (PPC)

David Savourey (UTC)

David Savourey (UTC)
Éric Nespoulous (IBM)

2

Programmation quadratique en nombres entiers; programmation non-linéaire en nombres entiers; méthodes exactes; optimisation globale; application du monde réel; langages de modélisation; solveurs d'optimisation
 

Savoir programmer dans un langage de programmation

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

• 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

• Rina Dechter, Contraint Programming, 2003, Morgan Kaufmann.

• Krzysztof R. Apt, Principles of Constraint Programming, 2003, Cambridge University Press.

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

Projet en binome avec rapport et soutenance