A. M. de Lima and R. Carmo, “Exact Algorithms for the Graph Coloring Problem”, RITA, vol. 25, no. 4, pp. 57–73, Nov. 2018.