TY  - RPRT
TI  - Symmetry Breaking Using Value Precedence
AU  - Toby Walsh
PY  - 2009
DO  - 10.1088/1126-6708/2009/06/075
UR  - https://arxiv.org/abs/0903.1136
ID  - 0903.1136
ER  -