Applications of Graph Coloring in Modern Computer Science
a graph coloring algorithm for large scheduling problems * .