Prestwich. Local Search on Sat-encoded Colouring Problems. Springer Berlin Heidelberg, 2004, doi:10.1007/978-3-540-24605-3_9.