Programmation par contraintes
Code UE : US331K
- Cours
- 3 crédits
Responsable(s)
Safia KEDAD SIDHOUM
Compétences visées
Comprendre les notions fondamentales (propagation, branchement, consistance, etc) et savoir utiliser des solvers.
Contenu
Many computational problems can be described in terms of restrictions imposed on possible solutions. Constraint Programming is a problem-solving technique that works by incorporating such restrictions into a programming environment. Constraint Programming draws on methods from artificial intelligence, logic programming, and operations research. It has been successfully applied in a number of fields such as scheduling, computational linguistics, and computational biology. The aim of this course is to : create an understanding of the fundamental concepts underlying constraint programming, develop skills in modelling combinatorial problems, present fundamental efficient algorithms to solve these problems, and develop skills in taking advantage of strong algorithmic techniques. To achieve these goals, the course will cover the following topics : modelling combinatorial problems using constraint programming, constraint satisfaction problems and notions of consistency, efficient algorithms for fundamental problems such as linear diophantine equation systems, temporal reasoning problems, set constraints, linear programs, constraint unification problems, and phylogenetical reconstruction, a generic architecture for solving constraint problems using propagation and search, applications of constraint programming
Cette UE apparaît dans les diplômes et certificats suivants
Rechercher une formation
Chargement du résultat...
Intitulé de la formation |
Type |
Modalité(s) |
Lieu(x) |
|
---|---|---|---|---|
Intitulé de la formation
Master Sciences, technologies, santé mention Informatique Parcours Recherche opérationnelle
|
Lieu(x)
À la carte
|
Lieu(x)
Paris
|
||
Intitulé de la formation | Type | Modalité(s) | Lieu(x) |
Contact
Recherche opérationnelle
2D4P20, 33-1-10, 2 rue Conté
75003 Paris
Tel :01 40 27 22 67
secretariat.ro@cnam.fr
2D4P20, 33-1-10, 2 rue Conté
75003 Paris
Tel :01 40 27 22 67
secretariat.ro@cnam.fr
Voir le site
Voir le calendrier, le tarif, les conditions d'accessibilité et les modalités d'inscription dans le(s) centre(s) d'enseignement qui propose(nt) cette formation.
Enseignement non encore programmé
Code UE : US331K
- Cours
- 3 crédits
Responsable(s)
Safia KEDAD SIDHOUM
Dans la même rubrique
- Accueil
- Actualités de la formation
- Comment se former et se financer?
- Rechercher par discipline
- Rechercher par métier
- Rechercher par région
- Catalogue national des formations
- Catalogue de la formation ouverte à distance
- Catalogue des stages
- Catalogue de l'alternance
- Valider ses acquis
- Notre engagement qualité