9 citations · 27 across the 4 of their papers we have counts for
1 paper · 1 filter
Yu. V. Matiyasevich
L.M.Vitaver [1962] and G.I.Minty [1962] suggested criteria for vertex colorability of a graph in at most a given number of colors; these criteria are stated in terms of the orienta…