Blocked Clause Elimination for QBF.

Armin Biere Florian Lonsing Martina Seidl

Published in: CADE (2011)

Keyphrases

boolean formula
quantified boolean formulas
np complete
quantified boolean formulae
sat solvers
search space
cnf formula
conjunctive normal form
tabu search
theorem prover
elimination algorithm
practical problems
dead end