Eugene M. Luks Amitabha Roy Symmetry Breaking in Constraint Satisfaction. 2002 AMAI http://rutcor.rutgers.edu/~amai/aimath02/PAPERS/37.ps db/conf/amai/amai2002.html#LuksR02