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

Publié par Hermes Science Publications, le 13 mai 2013

216 pages

Résumé

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.

Problèmes de satisfaction de contraintes

Optimisation combinatoire par métaheuristiques

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

Logistique de la production - Approches de modélisation et de résolution

Collaborer, échanger, inventer - Expériences de réseaux - Actes de H2PTM'07

Critiques