Comparing Different Prenexing Strategies for Quantified Boolean Formulas.

Uwe Egly, Martina Seidl, Hans Tompits, Stefan Woltran, Michael Zolda

Browse the full SAT paper archive.