exact-certificates

Here are 2 public repositories matching this topic...

Chen-chy / bb-double-cover-distance-counterexamples

Exact counterexamples to the conjectured d <= d2 <= 2d law for binary BB double covers, with certified distances and cubic replacement bounds.

reproducible-research coding-theory quantum-error-correction quantum-ldpc bivariate-bicycle-codes exact-certificates graph-covers

Updated Sep 6, 2026
Python

aoktyabrev / contextuality-gap-exhaustive

Star

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

Add this topic to your repo

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

Learn more