Backdoor Sets of Quantified Boolean Formulas.

Marko Samer Stefan Szeider

Published in: J. Autom. Reason. (2009)

Keyphrases

quantified boolean formulas
reasoning tasks
decision procedures
propositional satisfiability
special case
evolutionary algorithm
theorem proving