Abstract
Markus Kirchweger, Pablo Manrique, Stefan Szeider. Formally Verified Graph Generation with SAT Modulo Symmetries and Lean. Automated Reasoning - 13th International Joint Conference, IJCAR 2026, Lisbon, Portugal, July 26–29, 2026, Proceedings, Part I (Armin Biere, Carsten Lutz, Sara Negri, eds.), volume 16688 of Lecture Notes in Computer Science, pages 117–135, 2026, Springer.
Type
Markus Kirchweger
Markus Kirchweger is a Project Assistant at the Algorithms and Complexity Group.
Pablo Manrique Merchan
Pablo Manrique Merchan is a Project Assistant at the Algorithms and Complexity Group.
Stefan Szeider
Head of Research Unit
Stefan Szeider is a Professor at the Algorithms and Complexity Group.