TY  - RPRT
TI  - Breaking Instance-Independent Symmetries In Exact Graph Coloring
AU  - F. A. Aloul
AU  - I. L. Markov
AU  - A. Ramani
AU  - K. A. Sakallah
PY  - 2011
DO  - 10.1613/jair.1637
UR  - https://arxiv.org/abs/1109.2347
ID  - 1109.2347
ER  -