Resolution and Expressiveness of Subclasses of Quantified Boolean Formulas and Circuits.

Hans Kleine Büning Xishun Zhao Uwe Bubeck

Published in: SAT (2009)

Keyphrases

quantified boolean formulas
reasoning tasks
expressive power
computational properties
decision procedures
automated reasoning
knowledge base
bayesian networks
decision problems
theorem proving
propositional satisfiability