Problèmes de satisfaction de contraintes - formalismes et techniques CSP

De par leur forte complexité et leur omniprésence aussi bien dans le monde
académique qu’industriel, les problèmes de satisfaction de contraintes
(CSP) continuent à susciter l'intérêt des scientifiques dans les domaines
de la recherche opérationnelle et de l’intelligence artificielle. Un CSP
comporte un ensemble de variables ayant chacune un domaine de valeurs
ainsi qu'un ensemble de contraintes, l’objectif étant d’instancier les
variables de manière à satisfaire toutes les contraintes. Formalismes,
techniques et extensions relatives aux CSP sont détaillés et illustrés par
des exemples didactiques tels que le problème des 4-reines. Problèmes de
satisfaction de contraintes s’adresse aux ingénieurs en leur facilitant
l’accès à ce domaine, aux chercheurs en leur exposant les notions de base
tout en leur apportant une bibliographie étendue, et aux enseignants et
étudiants en leur fournissant un support de cours.