Algoritmos exatos para o problema de coloração de grafos - Martins, Francisco Leonardo Batista (2018)