Dependency Schemes for DQBF.

Ralf Wimmer, Christoph Scholl, Karina Wimmer, Bernd Becker

Browse the full SAT paper archive.