Exact computer-assisted proof that Cay(Z_25,{±1,±7}) is C12-induced-saturated.
graph-theory combinatorics exhaustive-search cayley-graphs computer-assisted-proof induced-saturation circulant-graph
-
Updated
Jul 25, 2026 - TeX