2 citations · 3 across the 6 of their papers we have counts for
1 paper · 2 filters
Julian Romero, Levent Tunçel
We study the computational efficiency of approaches, based on Hilbert's Nullstellensatz, which use systems of linear equations for detecting non-colorability of graphs having large…