Chargement...
Chargement...

Problèmes de satisfaction de contraintes : formalisme et techniques CSP

Auteur : Khaled Ghedira

55,00 €
Chargement...
Livraison à partir de 0,01 €
-5 % Retrait en magasin avec la carte Mollat
en savoir plus
0,00 €
Protection:
Acheter en numérique

Résumé

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 2024

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.

Fiche Technique

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