Programmation par contraintes
Public Concerné
Savoir programmer dans un langage de programmation
Objectifs pédagogiques
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).
Capacité et compétences acquises
savoir modéliser sous forme de CSP ; comprendre les algorithmes de résolution ; utiliser un solveur de PPC
Contenu de la formation
- 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
Description des modalités de validation
- Projet(s)
Prévisions d'ouverture
| Groupe | Semestre | Modalité | État d'ouverture | Date du premier cours | Lieux | ||
|---|---|---|---|---|---|---|---|
| US331K | Programmation par contraintes | 2 | Cours de Jour | - | - | - | - |
Voir les dates et horaires, les lieux d'enseignement et les modes d'inscription sur les sites internet des centres régionaux qui proposent cette formation
