Graph coloring has been studied for a long time and continues to receive interest within the research community [43]. It has applications in scheduling [46], timetables, and compiler register allocation [45]. The most popular variant of graph coloring, k-coloring, can be thought of as an assignment of k colors to the vertices of a graph such that adjacent vertices are assigned different colors....