Leroy Chew and Friedrich Slivovsky

Recent Publications

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