, Volume 14, Issue 4, pp 443–477

On implementing symmetry detection


DOI: 10.1007/s10601-008-9057-9

Cite this article as:
Mears, C., Garcia de la Banda, M. & Wallace, M. Constraints (2009) 14: 443. doi:10.1007/s10601-008-9057-9


Automatic symmetry detection has received a significant amount of interest, which has resulted in a large number of proposed methods. This paper reports on our experiences while implementing the approach of Puget (CP2005, LNCS, vol. 3709, pp. 475–489. Springer, 2005). In particular, it proposes a modification to the approach to deal with general expressions, discusses the insights gained, and gives the results of an experimental evaluation of the accuracy and efficiency of the approach.


Automatic symmetry detectionGraph automorphism

Copyright information

© Springer Science+Business Media, LLC 2008

Authors and Affiliations

  1. 1.Clayton School of ITMonash UniversityMelbourneAustralia