Thomas P. Hayes Juan Carlos Vera 0001 Eric Vigoda Randomly coloring planar graphs with fewer colors than the maximum degree. 450-458 2007 conf/stoc/2007 STOC https://doi.org/10.1145/1250790.1250857 https://www.wikidata.org/entity/Q58051174 db/conf/stoc/stoc2007.html#HayesVV07