Breaking Instance-Independent Symmetries In Exact Graph Coloring

Arathi Ramani, Igor L. Markov, Karem A. Sakallah, Fadi A. Aloul. Breaking Instance-Independent Symmetries In Exact Graph Coloring. J. Artif. Intell. Res. (JAIR), 26:289-322, 2006. [doi]

Abstract

Abstract is missing.