A Solver for QBFs in Nonprenex Form.

Uwe Egly, Martina Seidl, Stefan Woltran

Browse the full ECAI paper archive.