M. Adegbindin, A. Hertz, and M. Bellaïche, “A new efficient RLF-like algorithm for the vertex coloring problem”, YUJOR, vol. 26, no. 4, pp. 441–456, Nov. 2016.