Symmetries of Symmetry Breaking Constraints

Details Symmetries of Symmetry Breaking Constraints Symmetries of Symmetry Breaking Constraints

2009-09-17

arxiv.org/abs/0909.3276v1

Computer Science

Artificial Intelligence

To appear in the Proceedings of the Ninth International Workshop on Symmetry and Constraint Satisfaction Problems, held alongs

Scientific paper

Symmetry is an important feature of many constraint programs. We show that any symmetry acting on a set of symmetry breaking constraints can be used to break symmetry. Different symmetries pick out different solutions in each symmetry class. We use these observations in two methods for eliminating symmetry from a problem. These methods are designed to have many of the advantages of symmetry breaking methods that post static symmetry breaking constraint without some of the disadvantages. In particular, the two methods prune the search space using fast and efficient propagation of posted constraints, whilst reducing the conflict between symmetry breaking and branching heuristics. Experimental results show that the two methods perform well on some standard benchmarks.

Affiliated with

Also associated with

No associations

Rating

Symmetries of Symmetry Breaking Constraints does not yet have a rating. At this time, there are no reviews or comments for this scientific paper.

If you have personal experience with Symmetries of Symmetry Breaking Constraints, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Symmetries of Symmetry Breaking Constraints will most certainly appreciate the feedback.

Rate now

Comments { 0 }

Profile ID: LFWR-SCP-O-391643