Sciweavers

Share
CPAIOR
2008
Springer

A Novel Approach For Detecting Symmetries in CSP Models

9 years 8 months ago
A Novel Approach For Detecting Symmetries in CSP Models
Abstract. 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.
Christopher Mears, Maria J. García de la Ba
Added 18 Oct 2010
Updated 18 Oct 2010
Type Conference
Year 2008
Where CPAIOR
Authors Christopher Mears, Maria J. García de la Banda, Mark Wallace, Bart Demoen
Comments (0)
books