A Customized SAT-based Solver for Graph Coloring