A novel approach for detecting symmetries in CSP models
Mears, Christopher × Garcia de la Banda, Maria J. Wallace, Mark Demoen, Bart #
Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems, 5th International Conference, CPAIOR 2008 vol:LNCS issue:5015 pages:158-172
CPAIOR 2008 edition:5 location:Paris date:20-23 May 2008
While several powerful methods exist for automatically detecting symmetries in instances of constraint satisfaction problems (CSPs), current methods for detecting symmetries in CSP models are limited to the kind of symmetries that can be inferred from the global constraints present in the model. Herein, a new approach for detecting symmetries in CSP models is presented. The approach is based on first applying powerful methods to a sequence of problem instances, and then reasoning on the resulting instance symmetries to infer symmetries of the model. Our results show that this approach deserves further exploration.