Pedant: A Certifying DQBF Solver

Reichl, Franz-Xaver; Slivovsky, Friedrich

doi:10.4230/LIPICS.SAT.2022.20

by Franz-Xaver Reichl, Friedrich Slivovsky

Reference:

Pedant: A Certifying DQBF SolverFranz-Xaver Reichl, Friedrich Slivovsky25th International Conference on Theory and Applications of Satisfiability Testing, SAT 2022, August 2-5, 2022, Haifa, Israel (Kuldeep S. Meel, Ofer Strichman, eds.), volume 236 of LIPIcs, pages 20:1–20:10, 2022, Schloss Dagstuhl - Leibniz-Zentrum für Informatik.

Bibtex Entry:

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