Heule, M.; Walsh, T. Symmetry in Solutions. AAAI 2010, 24, 77-82.