Color flipping : minimização de spill code via troca de cores em um grafo de interferência - Silva, Felipe Lopes da (2024)