Un aperçu détaillé sur les fondements des problèmes de satisfaction de contraintes (CSP) : formalisme CSP, techniques et extensions afférentes, résolution, méthodes heuristiques, exemples didactiques tels que les problèmes des 4-reines. L'objectif étant d'instancier les variables de manière à satisfaire toutes les contraintes. ©Electre 2025
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 est représenté par un ensemble de variables, chacune munie d'un domaine de valeurs, et 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.
Paru le : 15/05/2013
Thématique : Langages de programmation
Auteur(s) : Auteur : Khaled Ghedira
Éditeur(s) :
Lavoisier-Hermès
Collection(s) : Informatique
Série(s) : Non précisé.
ISBN : 978-2-7462-4515-0
EAN13 : 9782746245150
Reliure : Broché
Pages : 216
Hauteur: 24.0 cm / Largeur 16.0 cm
Épaisseur: 1.1 cm
Poids: 340 g
Carte fidélité
Mollat Radio
