@inproceedings{KirchwegerMS26,
 author = {Markus Kirchweger and
Pablo Manrique and
Stefan Szeider},
 booktitle = {Automated Reasoning - 13th International Joint Conference,
{IJCAR} 2026, Lisbon, Portugal, July 26–29, 2026, Proceedings,
Part {I}},
 doi = {10.1007/978-3-032-32589-1_8},
 editor = {Armin Biere and
Carsten Lutz and
Sara Negri},
 keywords = {coe},
 pages = {117–135},
 publisher = {Springer},
 series = {Lecture Notes in Computer Science},
 title = {Formally Verified Graph Generation with {SAT} Modulo Symmetries
and {Lean}},
 url = {https://doi.org/10.1007/978-3-032-32589-1_8},
 volume = {16688},
 year = {2026}
}