Propagation Logique pour les Formules Booléennes Quantifiées

Résumé : Cet article propose un nouvel ensemble de règles de propagation pour les formules Booléennes quantifiées basées sur les littéraux et générées automatiquement gràce aux certificats pour les formules Booléennes quantifiées. Cet ensemble de règles de propagation est comparé avec les règles de propagation pour les contraintes Booléeennes quantifiées, le système QUBOS et l'ensemble de règles de la méthode de Stalmark. Nous esquissons une implantation en le langage CHR.
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

https://hal.inria.fr/inria-00085793
Contributeur : Laurent Henocque <>
Soumis le : vendredi 14 juillet 2006 - 11:22:57
Dernière modification le : vendredi 14 juillet 2006 - 17:49:59
Document(s) archivé(s) le : mardi 6 avril 2010 - 00:09:05

Fichier

Identifiants

  • HAL Id : inria-00085793, version 1

Collections

Citation

Igor Stephan. Propagation Logique pour les Formules Booléennes Quantifiées. Deuxièmes Journées Francophones de Programmation par Contraintes (JFPC06), 2006, Nîmes - Ecole des Mines d'Alès / France, 2006. 〈inria-00085793〉

Partager

Métriques

Consultations de la notice

74

Téléchargements de fichiers

27