no code implementations • 17 Jun 2023 • 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.