Formally Verified Graph Generation with SAT modulo Symmetries and Lean

Abstract

Full Citation:

Markus Kirchweger, Pablo Manrique, Stefan Szeider. Formally Verified Graph Generation with SAT modulo Symmetries and Lean. Automated Reasoning - 13th International Joint Conference, IJCAR 2026, Part of FLoC 2026, July 26–29, 2026, 2026, Springer. (Note: To appear)

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.