Towards Uniform Certification in QBF

Chew, Leroy; Slivovsky, Friedrich

doi:10.4230/LIPIcs.STACS.2022.22

by Leroy Chew, Friedrich Slivovsky

Reference:

Towards Uniform Certification in QBFLeroy Chew, Friedrich Slivovsky39th International Symposium on Theoretical Aspects of Computer Science, STACS 2022, March 15-18, 2022, Marseille, France (Virtual Conference) (Petra Berenbrink, Benjamin Monmege, eds.), volume 219 of LIPIcs, pages 22:1–22:23, 2022, Schloss Dagstuhl - Leibniz-Zentrum für Informatik.

Bibtex Entry:

@string{lipics="LIPIcs"}
@inproceedings{ChewS22,
  author    = {Leroy Chew and
               Friedrich Slivovsky},
  editor    = {Petra Berenbrink and
               Benjamin Monmege},
  title     = {Towards Uniform Certification in {QBF}},
  booktitle = {39th International Symposium on Theoretical Aspects of Computer Science,
               {STACS} 2022, March 15-18, 2022, Marseille, France (Virtual Conference)},
  series    = {LIPIcs},
  volume    = {219},
  pages     = {22:1--22:23},
  publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
  year      = {2022},
  url       = {10.4230/LIPIcs.STACS.2022.22">https://doi.org/10.4230/LIPIcs.STACS.2022.22},
  doi       = {10.4230/LIPIcs.STACS.2022.22},
  keywords  = {l2solve}
}