US331K

Programmation par contraintes


3 crédits Safia KEDAD SIDHOUM EPN05 - Informatique Unité spécifique de type cours

Publié Du 01-09-2011 au 31-08-2024

Compétences

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

Thésaurus du Cnam :

  • Aucune indexation

Thésaurus Formacode :

  • Aucune indexation

Secrétariat

Libellé
Recherche opérationnelle
Nom du contact
Adresses email
secretariat.ro@cnam.fr
Numéros de téléphone
01 40 27 22 67
Adresse postale
2D4P20, 33-1-10, 2 rue Conté
Paris 75003