Arathi Ramani Igor L. Markov Karem A. Sakallah Fadi A. Aloul Breaking Instance-Independent Symmetries In Exact Graph Coloring. 289-322 2006 26 J. Artif. Intell. Res. (JAIR) http://www.jair.org/papers/paper1637.html db/journals/jair/jair26.html#RamaniMSA06