M. Heule and T. Walsh, “Symmetry in Solutions”, AAAI, vol. 24, no. 1, pp. 77-82, Jul. 2010.