, Volume 14, Issue 4, pp 443–477

On implementing symmetry detection


    • Clayton School of ITMonash University
  • M. Garcia de la Banda
    • Clayton School of ITMonash University
  • M. Wallace
    • Clayton School of ITMonash University

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