@inproceedings{ReichlS22,
 author = {Franz{-}Xaver Reichl and
Friedrich Slivovsky},
 booktitle = {25th International Conference on Theory and Applications of Satisfiability
Testing, {SAT} 2022, August 2-5, 2022, Haifa, Israel},
 doi = {10.4230/LIPICS.SAT.2022.20},
 editor = {Kuldeep S. Meel and
Ofer Strichman},
 pages = {20:1–20:10},
 publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{ü}r Informatik},
 series = {LIPIcs},
 title = {Pedant: {A} Certifying {DQBF} Solver},
 url = {https://doi.org/10.4230/LIPIcs.SAT.2022.20},
 volume = {236},
 year = {2022}
}