another look at graph coloring via propositional satisfiability .
A machine program for theorem-proving