Certified DQBF Solving by Definition Extraction.

Franz-Xaver Reichl, Friedrich Slivovsky, Stefan Szeider

Browse the full SAT paper archive.