Co-Certificate Learning with SAT Modulo Symmetries

Markus Kirchweger, Tomáš Peitl, Stefan Szeider

We present a new SAT-based method for generating all graphs up to isomorphism that satisfy a given co-NP property. Our method extends the SAT Modulo Symmetry (SMS) framework with a…