Boolean Propagation Based on Literals for Quantified Boolean Formulae.
Igor StéphanPublished in: ECAI (2006)
Keyphrases
- quantified boolean formulae
- propositional logic
- propositional formulas
- symmetry breaking
- boolean formula
- prime implicates
- knowledge compilation
- conjunctive normal form
- davis putnam
- quantified boolean formulas
- boolean functions
- normal form
- first order logic
- prime implicants
- belief revision
- search tree
- constraint programming