Exact Solution of Graph Coloring Problems via Constraint Programming and Column Generation