Davis and Putnam Meet Henkin: Solving DQBF with Resolution.

Joshua Blinkhorn, Toms Peitl, Friedrich Slivovsky

Browse the full SAT paper archive.