de Lima, A. M.; Carmo, R. Exact Algorithms for the Graph Coloring Problem. RITA 2018, 25, 57-73.