Quantifier Trees for QBFs.

Marco Benedetti

Published in: SAT (2005)

Keyphrases

decision trees
quantified boolean formulas
quantifier elimination
search algorithm
programming language
tree structure
labeled trees