DQBDD: An Efficient BDD-Based DQBF Solver.

Juraj Sc, Jan Strejcek

Browse the full SAT paper archive.