David A. Cohen Peter Jeavons Christopher Jefferson Karen E. Petrie Barbara M. Smith Symmetry Definitions for Constraint Satisfaction Problems. 17-31 2005 conf/cp/2005 CP http://dx.doi.org/10.1007/11564751_5 db/conf/cp/cp2005.html#CohenJJPS05