covering-sequences

Here are 2 public repositories matching this topic...

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

Certified scoped theorem for binary covering sequences: every valid length-70 (9,1) cover uses at most 60 distinct edges in common with one fixed 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 7, 2026
Python

ruturajr-raval / binary-covering-sequence-12-3

Star

Computer-assisted determination of L(12,3)=36: independent exhaustive C++ and Rust exclusions through length 35 with a verified attributed length-36 witness.

rust cpp reproducible-research coding-theory combinatorics exhaustive-search computer-assisted-proof de-bruijn-graph covering-sequences

Updated Sep 7, 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