Comparing Different Prenexing Strategies for Quantified Boolean Formulas.

Uwe Egly Martina Seidl Hans Tompits Stefan Woltran Michael Zolda

Published in: SAT (2003)

Keyphrases

quantified boolean formulas
reasoning tasks
universally quantified
artificial intelligence
decision procedures
search algorithm