Propagation Logique pour les Formules Booléennes Quantifiées
Abstract
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.