• DOI:10.1007/s10601-006-7095-8
Corpus ID: 14351361

Symmetry Breaking Constraints for Value Symmetries in Constraint Satisfaction

@article{Law2006SymmetryBC,
  title={Symmetry Breaking Constraints for Value Symmetries in Constraint Satisfaction},
  author={Y. Law and J. Lee},
  journal={Constraints},
  year={2006},
  volume={11},
  pages={221-267}
}

Y. Law, J. Lee

Published 2006

Mathematics, Computer Science

Constraints

Constraint satisfaction problems (CSPs) sometimes contain both variable symmetries and value symmetries, causing adverse effects on CSP solvers based on tree search. As a remedy, symmetry breaking constraints are commonly used. While variable symmetry breaking constraints can be expressed easily and propagated efficiently using lexicographic ordering, value symmetry breaking constraints are often difficult to formulate. In this paper, we propose two methods of using symmetry breaking… CONTINUE READING

View on Springer

cse.cuhk.edu.hk

Save to Library

Create Alert

Cite

Launch Research Feed