Description
Problèmes de satisfaction de contraintes
Formalismes et techniques CSP
Coll. Informatique
Author: GHÉDIRA Khaled
Director of collection: POMEROL Jean-Charles
Language: FrenchSubjects for Problèmes de satisfaction de contraintes:
216 p. · 15.6x23.4 cm · Paperback ·
Withdrawn from sale
Description
/li>Contents
/li>
Avant-propos.
Introduction.
Chapitre 1. Fondements des CSP.
1.1. Notions de base.
1.2. Cadre CSP.
1.3. Bibliographie.
Chapitre 2. Techniques de renforcement de cohérence.
2.1. Notions de base.
2.2. Algorithmes de renforcement d’Arc-Cohérence.
2.3. Bibliographie.
Chapitre 3. Résolution des CSP.
3.1. Méthodes de résolution complètes.
3.2. Validation expérimentale.
3.3. Bibliographie.
Chapitre 4. Heuristiques de recherche.
4.1. Organisation de l’espace de recherche.
4.2. Heuristiques d’ordonnancement.
4.3. Bibliographie.
Chapitre 5. Techniques d’apprentissage.
5.1. Définitions.
5.2. L’algorithme Nogood-Recording.
5.3. L’algorithme Nogood-Recording-Forward-Checking.
8 Problèmes de satisfaction de contraintes.
5.4. L’algorithme Weak-Commitment-Nogood-Recording.
5.5. Bibliographie.
Chapitre 6. Problèmes de satisfaction maximale de contraintes.
6.1. L’algorithme du Branch and Bound.
6.2. L’algorithme Partial Forward-Checking.
6.3. L’algorithme du Weak-Commitment.
6.4. La méthode GENET.
6.5. Le recuit simulé distribué.
6.6. Les algorithmes génétiques guidés et distribués.
6.7. Bibliographie.
Chapitre 7. Problèmes d’optimisation et de satisfaction de contraintes.
7.1. Formalisme.
7.2. Méthodes de résolution.
7.3. Bibliographie.
Chapitre 8. Problèmes de satisfaction de contraintes distribués.
8.1. Cadre DisCSP.
8.2. Renforcement de cohérence distribué.
8.3. Résolution distribuée.
8.4. Bibliographie.
Index.