BlockSolve : une approche bottom-up des QCSP

Résumé : Les problèmes de satisfaction de contraintes quantifiées (QCSP) sont une généralisation des problèmes de satisfaction de contraintes (CSP), dans lesquels chaque variable est quantifiée soit existentiellement, soit universellement. Ce type de problème s'inscrit notamment dans le domaine de la planification de tâches en présence de l'incertain. Les méthodes existantes de résolution de QCSP parcourent l'arbre de recherche dans l'ordre des variables du problème. Ces méthodes utilisent des généralisations des méthodes de propagation de contraintes pour les QCSP. Nous présentons BlockSolve, un algorithme de résolution de QCSP qui factorise les branches de l'arbre de recherche en blocs, et qui n'utilise que des méthodes de propagation des CSP classiques.
Type de document :
Communication dans un congrès
Deuxièmes Journées Francophones de Programmation par Contraintes (JFPC06), 2006, Nîmes - Ecole des Mines d'Alès / France, 2006
Liste complète des métadonnées

Littérature citée [10 références]  Voir  Masquer  Télécharger

https://hal.inria.fr/inria-00085794
Contributeur : Laurent Henocque <>
Soumis le : vendredi 14 juillet 2006 - 11:26:52
Dernière modification le : jeudi 24 mai 2018 - 15:59:23
Document(s) archivé(s) le : lundi 5 avril 2010 - 21:52:00

Fichier

Identifiants

  • HAL Id : inria-00085794, version 1

Collections

Citation

Guillaume Verger, Christian Bessière. BlockSolve : une approche bottom-up des QCSP. Deuxièmes Journées Francophones de Programmation par Contraintes (JFPC06), 2006, Nîmes - Ecole des Mines d'Alès / France, 2006. 〈inria-00085794〉

Partager

Métriques

Consultations de la notice

137

Téléchargements de fichiers

92