Graphs with large girth and chromatic number are hard for Nullstellensatz

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…