Massimiliano Caramia Paolo Dell'Olmo Giuseppe F. Italiano CHECKCOL: Improved local search for graph coloring. 277-298 2006 4 J. Discrete Algorithms 2 http://dx.doi.org/10.1016/j.jda.2005.03.006 db/journals/jda/jda4.html#CaramiaDI06