Breaking Instance-Independent Symmetries in Exact Graph Coloring

Arathi Ramani, Fadi A. Aloul, Igor L. Markov, Karem A. Sakallah. Breaking Instance-Independent Symmetries in Exact Graph Coloring. In 2004 Design, Automation and Test in Europe Conference and Exposition (DATE 2004), 16-20 February 2004, Paris, France. pages 324-331, IEEE Computer Society, 2004. [doi]

Abstract

Abstract is missing.