Reveal

Formalizing Graph Trail Properties in Isabelle/HOL
Intelligent Computer Mathematics - 13th International Conference, CICM 2020, Bertinoro, Italy, July 26-31, 2020, Proceedings (Christoph Benzmüller, Bruce R. Miller, eds.), volume 12236 of Lecture Notes in Computer Science, pages 190–205, 2020, Springer Verlag.
bib Project Project
MaxSAT-Based Postprocessing for Treedepth
Proceedings of CP 2020, the 26th International Conference on Principles and Practice of Constraint Programming (Helmut Simonis, ed.), volume 12333 of Lecture Notes in Computer Science, pages 478–495, 2020, Springer Verlag.
bib Project Project DOI
On Existential MSO and Its Relation to ETH
ACM Trans. Comput. Theory, volume 12, number 4, pages 22:1–22:32, 2020.
PDF bib Project Project Project DOI
Short Q-Resolution Proofs with Homomorphisms
Proceedings of SAT 2020, The 23rd International Conference on Theory and Applications of Satisfiability Testing (Luca Pulina, Martina Seidl, eds.), volume 12178 of Lecture Notes in Computer Science, pages 412–428, 2020, Springer Verlag.
bib Project Project Project
Threshold Treewidth and Hypertree Width
Proceeding of IJCAI-PRICAI2020, the 29th International Joint Conference on Artificial Intelligence and the 17th Pacific Rim International Conference on Artificial Intelligence, pages 1898–1904, 2020.
PDF bib Project Project Project DOI