25th International Conference on Theory and Applications of Satisfiability Testing, SAT 2022, August 2-5, 2022, Haifa, Israel (Kuldeep S. Meel and Ofer Strichman), volume 236 of LIPIcs, pages 15:1-15:17, 2022, Schloss Dagstuhl - Leibniz-Zentrum für Informatik.
Journal of Computer and System Sciences, volume 117, pages 50 - 74, 2021.
45th International Symposium on Mathematical Foundations of Computer Science (MFCS 2020) (Javier Esparza and Daniel Kráľ), volume 170 of Leibniz International Proceedings in Informatics (LIPIcs), pages 35:1-35:14, 2020, Schloss Dagstuhl–Leibniz-Zentrum für Informatik.
Approximation, Randomization, and Combinatorial Optimization. Algorithms and Techniques (APPROX/RANDOM 2020) (Jarosław Byrka and Raghu Meka), volume 176 of Leibniz International Proceedings in Informatics (LIPIcs), pages 32:1-32:18, 2020, Schloss Dagstuhl–Leibniz-Zentrum für Informatik.