Pedant: A Certifying DQBF Solver

Franz-Xaver Reichl and Friedrich Slivovsky
January 2022
PDF Cite DOI
Type
Conference Paper