Tuza's conjecture for graphs of maximum degree at most seven — paper, certificate catalogue, and exact verifiers
reproducible-research mathematics graph-theory combinatorics arxiv research-paper preprint computer-assisted-proof extremal-combinatorics triangle-packing tuza-conjecture
-
Updated
Aug 10, 2026 - TeX