Non-prenex QBF Solving Using Abstraction.

Leander Tentrup

Published in: SAT (2016)

Keyphrases

normal form
quantified boolean formulas
heuristic search
high level
database systems
solving problems