Breaking Instance-Independent Symmetries in Exact Graph Coloring.

Arathi Ramani, Fadi A. Aloul, Igor L. Markov, Karem A. Sakallah

Browse the full DATE paper archive.