Symmetries of Symmetry Breaking Constraints - Computer Science > Artificial IntelligenceReport as inadecuate




Symmetries of Symmetry Breaking Constraints - Computer Science > Artificial Intelligence - Download this document for free, or read online. Document in PDF available to download.

Abstract: Symmetry is an important feature of many constraint programs. We show thatany symmetry acting on a set of symmetry breaking constraints can be used tobreak symmetry. Different symmetries pick out different solutions in eachsymmetry class. We use these observations in two methods for eliminatingsymmetry from a problem. These methods are designed to have many of theadvantages of symmetry breaking methods that post static symmetry breakingconstraint without some of the disadvantages. In particular, the two methodsprune the search space using fast and efficient propagation of postedconstraints, whilst reducing the conflict between symmetry breaking andbranching heuristics. Experimental results show that the two methods performwell on some standard benchmarks.



Author: George Katsirelos, Toby Walsh

Source: https://arxiv.org/







Related documents