From DQBF to QBF by Dependency Elimination.

Ralf Wimmer, Andreas Karrenbauer, Ruben Becker, Christoph Scholl, Bernd Becker

Browse the full SAT paper archive.