Breaking Instance-Independent Symmetries In Exact Graph Coloring

F. A. Aloul, I. L. Markov, A. Ramani +1

Code optimization and high level synthesis can be posed as constraint satisfaction and optimization problems, such as graph coloring used in register allocation. Graph coloring is…