Pedant: A Certifying DQBF Solver.

Franz-Xaver Reichl, Friedrich Slivovsky

Browse the full SAT paper archive.