Breaking Instance-Independent Symmetries In Exact Graph Coloring