Certified scoped theorem for K_3(7,3): eight seven-word subcores are excluded from all size-at-most-11 covers; the global interval is unchanged.
rust cpp reproducible-research coding-theory combinatorics computer-assisted-proof covering-codes ternary-codes
-
Updated
Sep 7, 2026 - Python