BlockSolve : une approche bottom-up des QCSP
Abstract
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.
Loading...