Title: Lightweight dynamic symmetry breaking
Authors: Mears, Christopher * ×
Garcia de la Banda, Maria *
Demoen, Bart *
Wallace, Mark * #
Issue Date: 2014
Publisher: Kluwer
Series Title: Constraints vol:19 issue:3 pages:195 -242
Abstract: Symmetries in constraint problems present an opportunity for
reducing search. This paper presents Lightweight Dynamic
Symmetry Breaking, an automatic symmetry breaking method that is
efficient enough to be used as a default, since it never yields a
major slowdown while often giving major performance improvements.
This is achieved by automatically exploiting certain kinds of symmetry
that are common, can be compactly represented, easily and efficiently
processed, automatically detected, and lead to large reductions in
search. Moreover, the method is easy to implement and integrate in any
constraint system. Experimental results show the method is competitive
with the best symmetry breaking methods without risking poor
ISSN: 1383-7133
Publication status: published
KU Leuven publication type: IT
Appears in Collections:Informatics Section
* (joint) first author
× corresponding author
# (joint) last author

Files in This Item:
File Description Status SizeFormat
ldsb.pdf Published 375KbAdobe PDFView/Open


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

© Web of science