Tuza's conjecture for graphs of maximum degree at most seven
Tuza conjectured that every finite simple graph $G$ satisfies $\tau(G) \leq 2\nu(G)$, where $\nu(G)$ is the maximum number of pairwise edge-disjoint triangles and $\tau(G)$ is the minimum number of edges whose deletion makes $G$ triangle-free. Puleo proved the conjecture for every graph of maximum average degree less t...