Exhaustive enumeration of connected graphs up to eleven vertices by the contextuality gap, with exact certified values of the Lovasz theta number for every maximizer
reproducible-research semidefinite-programming nauty preregistration graph-enumeration quantum-contextuality lovasz-theta exact-certificates
-
Updated
Sep 7, 2026 - Python