“…Considerable progress has been made in the automatic detection of symmetries of CSPs and their exploitation in speeding up the search (e.g., [9,1,11,17,12,15,8,13,3,5,10,6,7]. Unfortunately, the most powerful methods ( [11,1]) can only be applied to a CSP, rather than to its model.…”