total-coloring

Here are 5 public repositories matching this topic...

Lean 4 formalization and certificate checking for total coloring and auxiliary rainbow edge-coloring reductions

Exact, certificate-driven tools for total coloring and auxiliary edge-coloring research

Reproducible datasets and certificate artifacts for total-coloring research

Total Coloring algorithm implementation

Verification of the Total Coloring Conjecture for all graphs with at most 14 vertices using a SAT Modulo Symmetry Solver.

sat-solver smt-solving total-coloring

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