Formally Verified Graph Generation with SAT Modulo Symmetries and Lean.

Markus Kirchweger, Pablo Manrique, Stefan Szeider

Browse the full IJCAR paper archive.