Variable Independence and Resolution Paths for Quantified Boolean Formulas.

Allen Van Gelder

Published in: CP (2011)

Keyphrases

quantified boolean formulas
boolean formula
decision procedures
reasoning tasks
universally quantified
propositional satisfiability
special case
upper bound
constraint programming