Constraint-based automatic symmetry detection. - Zhang, Shao Jie; Sun, Jun; Sun, Chengnian; Liu, Yang; Ma, Junwei; Dong, Jin Song (2013)