D-QBF with Few Existential Variables Revisited.

Andreas Grigorjew, Michael Lampis

Browse the full SAT paper archive.