@misc{indiciae5bb7cff8939a,
  title = {Breaking Instance-Independent Symmetries In Exact Graph Coloring},
  author = {F. A. Aloul and I. L. Markov and A. Ramani and K. A. Sakallah},
  year = {2011},
  doi = {10.1613/jair.1637},
  url = {https://arxiv.org/abs/1109.2347},
  note = {Source identifier: 1109.2347}
}