DepQBF: A Dependency-Aware QBF Solver.

Florian Lonsing Armin Biere

Published in: J. Satisf. Boolean Model. Comput. (2010)

Keyphrases

quantified boolean formulas
boolean formula
universally quantified
reasoning tasks
decision procedures
quantified boolean formulae
propositional satisfiability
search algorithm
evolutionary algorithm
np complete