Vous êtes ici : Version française > Parcours du doctorant > Formation
-
Partager cette page
An introduction to constraint programming (C. Solnon, Inria)
Le 23 mai 2024
Problem solving is a major quest of artificial intelligence. Constraint Programming (CP) contributes to this quest by providing high level languages that allow one to describe a problem in a very declarative way by means of constraints, that is, properties of the solution to be found. These problems are then automatically solved by embedded solving algorithms. These algorithms are usually based on a systematic exploration of the search space combined with constraint propagation techniques (to reduce the search space) and ordering heuristics (to guide the search). In this tutorial, we shall first illustrate the interest of using CP through several examples, and then we shall introduce the basic principles used by CP solving algorithms.