Publication

Symmetry breaking in numeric constraint problems

Conference Article

Conference

International Conference on Principles and Practice of Constraint Programming (CP)

Edition

17th

Pages

317-324

Doc link

http://dx.doi.org/10.1007/978-3-642-23786-7_25

File

Download the digital copy of the doc pdf document

Abstract

Symmetry-breaking constraints in the form of inequalities between variables have been proposed for a few kind of solution symmetries in numeric CSPs. We show that, for the variable symmetries among those, the proposed inequalities are but a specific case of a relaxation of the well-known constraints extensively used for discrete CSPs. We discuss the merits of this relaxation and present experimental evidences of its practical interest.

Categories

artificial intelligence.

Author keywords

symmetries, numeric constraints, variable symmetries

Scientific reference

A. Goldsztejn, C. Jermann, V. Ruiz de Angulo and C. Torras. Symmetry breaking in numeric constraint problems, 17th International Conference on Principles and Practice of Constraint Programming, 2011, Perugia, Italy, in Principles and Practice of Constraint Programming, Vol 6876 of Lecture Notes in Computer Science, pp. 317-324, 2011, Springer.