Programmation par contraintes
Mis à jour le
Responsable(s) : Mme Safia KEDAD SIDHOUM
- Cours
Envie d'en savoir plus sur cette formation ?
Afin d’obtenir les tarifs, le calendrier de la formation, en distanciel, en présentiel, le lieu de la formation et un contact, remplissez les critères suivants :
Afficher le centre adapté à mes besoins
Afin d’obtenir les tarifs, le calendrier de la formation et le lieu de la formation, remplissez les critères suivants :
-
Durée : 22 heures
-
Package
-
2 crédits
Présentation
Public, conditions d'accès et prérequis
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).
Compétences et débouchés
Compétences
savoir modéliser sous forme de CSP ; comprendre les algorithmes de résolution ; utiliser un solveur de PPC
Informations pratiques
Contact
-
Département : Recherche opérationnelle
-
Tel : 01 40 27 22 67
-
Email : secretariat.ro@cnam.fr
-
Adresse : 2D4P20, 33-1-10, 2 rue Conté - 75003 Paris
Programme
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