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]

Authors

Arathi Ramani

This author has not been identified. Look up 'Arathi Ramani' in Google

Fadi A. Aloul

This author has not been identified. Look up 'Fadi A. Aloul' in Google

Igor L. Markov

This author has not been identified. Look up 'Igor L. Markov' in Google

Karem A. Sakallah

This author has not been identified. Look up 'Karem A. Sakallah' in Google