Symmetry definitions for constraint satisfaction problems - Cohen, D; Jeavons, P; Jefferson, C; Petrie, K; Smith, B (2005)