Clausal Abstraction for DQBF.

Leander Tentrup, Markus N. Rabe

Browse the full SAT paper archive.