Title: A novel approach for detecting symmetries in CSP models
Authors: Mears, Christopher ×
Garcia de la Banda, Maria J.
Wallace, Mark
Demoen, Bart #
Issue Date: May-2008
Publisher: Springer
Host Document: 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
Conference: CPAIOR 2008 edition:5 location:Paris date:20-23 May 2008
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.
ISSN: 0302-9743
Publication status: published
KU Leuven publication type: IC
Appears in Collections:Informatics Section
× corresponding author
# (joint) last author

Files in This Item:
File Description Status SizeFormat
paper4.pdfmain article Published 314KbAdobe PDFView/Open


All items in Lirias are protected by copyright, with all rights reserved.

© Web of science