Backjumping for Quantified Boolean Logic satisfiability.
Enrico GiunchigliaMassimo NarizzanoArmando TacchellaPublished in: Artif. Intell. (2003)
Keyphrases
- boolean logic
- quantified boolean formulas
- satisfiability problem
- truth values
- propositional satisfiability
- reasoning tasks
- decision procedures
- np complete
- constraint satisfaction problems
- phase transition
- sat problem
- propositional logic
- computational complexity
- inference rules
- sat solvers
- data management
- query language