Contributions to the Theory of Practical Quantified Boolean Formula Solving.

Allen Van Gelder

Published in: CP (2012)

Keyphrases

boolean formula
practical problems
sat solvers
sat instances
orders of magnitude
conjunctive normal form
data structure
computational complexity
combinatorial optimization
boolean variables
quantified boolean formulas