General Symmetry Breaking Constraints
@inproceedings{Walsh2006GeneralSB, title={General Symmetry Breaking Constraints}, author={T. Walsh}, booktitle={CP}, year={2006} }
We describe some new propagators for breaking symmetries in constraint satisfaction problems. We also introduce symmetry breaking constraints to deal with symmetries acting simultaneously on variables and values, conditional symmetries, as well as symmeties acting on set and other types of variables.
Topics from this paper
63 Citations
References
SHOWING 1-10 OF 29 REFERENCES
Breaking All Value Symmetries in Surjection Problems
- Mathematics, Computer Science
- CP
- 2005
- 37
- Highly Influential
Symmetry Breaking Constraints for Value Symmetries in Constraint Satisfaction
- Mathematics, Computer Science
- Constraints
- 2006
- 43
- PDF
Efficient symmetry breaking for Boolean satisfiability
- Mathematics, Computer Science
- IEEE Transactions on Computers
- 2006
- 120
- PDF