covering-sequences

Here is 1 public repository matching this topic...

ruturajr-raval / binary-covering-sequence-9-1

Certified length-70 binary (9,1) fixed-backbone theorem: every valid cover uses at most 60 distinct edges of one explicit 64-edge backbone; global bounds unchanged.

reproducible-research coding-theory combinatorics sat-solver computer-assisted-proof de-bruijn-graph de-bruijn-sequences extremal-combinatorics covering-codes covering-sequences

Updated Sep 5, 2026
Python

Add this topic to your repo

To associate your repository with the covering-sequences topic, visit your repo's landing page and select "manage topics."

Learn more