1 citations · 1 across the 2 of their papers we have counts for
1 paper · 1 filter
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…