ACM Trans. Comput. Theory, volume 16, number 2, pages 6:1-6:24, 2024.

Theory and Applications of Satisfiability Testing - SAT 2021 - 24th International Conference, Barcelona, Spain, July 5-9, 2021, Proceedings (Chu-Min Li and Felip Many`a), volume 12831 of Lecture Notes in Computer Science, pages 30-46, 2021, Springer.

2021, Technical report AC-TR-21-012, Algorithms and Complexity Group, TU Wien.

Electron. Colloquium Comput. Complex., pages 135, 2021.

40th IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS 2020, December 14-18, 2020, BITS Pilani, K K Birla Goa Campus, Goa, India (Virtual Conference) (Nitin Saxena and Sunil Simon), volume 182 of LIPIcs, pages 12:1-12:15, 2020, Schloss Dagstuhl - Leibniz-Zentrum für Informatik.