another look at graph coloring via propositional satisfiability .
Using tabu search techniques for graph coloring