On the recursive largest first algorithm for graph colouring
a graph coloring algorithm for large scheduling problems * .