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]
@article{RamaniMSA06,
title = {Breaking Instance-Independent Symmetries In Exact Graph Coloring},
author = {Arathi Ramani and Igor L. Markov and Karem A. Sakallah and Fadi A. Aloul},
year = {2006},
url = {http://www.jair.org/papers/paper1637.html},
tags = {graph-rewriting, Markov, rewriting},
researchr = {https://researchr.org/publication/RamaniMSA06},
cites = {0},
citedby = {0},
journal = {J. Artif. Intell. Res. (JAIR)},
volume = {26},
pages = {289-322},
}