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)
En alternance ou en formation continue en journée :
Merci de consulter directement le secrétariat pédagogique de votre formation pour obtenir le planning.
En formation « à la carte Hors Temps de Travail », en présentiel, à distance ou hybride :
Voir les dates, les lieux d'enseignement et les modalités d'inscription sur les sites internet des centres régionaux qui proposent cette formation.
