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