iDQ: Instantiation-Based DQBF Solving.

Andreas Frhlich, Gergely Kovsznai, Armin Biere, Helmut Veith

Browse the full SAT paper archive.