Christopher Mears, Maria J. García de la Banda, Mark Wallace, Bart Demoen. A Novel Approach For Detecting Symmetries in CSP Models. In Laurent Perron, Michael A. Trick, editors, Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems, 5th International Conference, CPAIOR 2008, Paris, France, May 20-23, 2008, Proceedings. Volume 5015 of Lecture Notes in Computer Science, pages 158-172, Springer, 2008. [doi]
Abstract is missing.