Backjumping for Quantified Boolean Logic Satisfiability.

Enrico Giunchiglia Massimo Narizzano Armando Tacchella

Published in: IJCAI (2001)

Keyphrases

boolean logic
quantified boolean formulas
decision procedures
satisfiability problem
propositional satisfiability
reasoning tasks
np complete
truth values
propositional logic
databases
computational complexity
constraint satisfaction problems
database
machine learning
knowledge representation
modal logic