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
    43 Citations
    Arities of Symmetry Breaking Constraints
    • PDF
    Increasing Symmetry Breaking by Preserving Target Symmetries
    • 6
    • PDF
    Breaking Constraints Dynamically
    • PDF
    Dynamic structural symmetry breaking for constraint satisfaction problems
    • 16
    • PDF
    Breaking Value Symmetry
    • T. Walsh
    • Mathematics, Computer Science
    • CP
    • 2007
    • 40
    • PDF
    Symmetries of Symmetry Breaking Constraints
    • 8
    • PDF
    Towards breaking more composition symmetries in partial symmetry breaking
    • Highly Influenced
    • PDF
    Partial symmetry breaking by local search in the group
    • 4
    • PDF
    Lightweight dynamic symmetry breaking
    • 16
    • PDF
    Symmetry in Constraint Programming
    • 108
    • PDF

    References

    SHOWING 1-10 OF 51 REFERENCES
    Study of symmetry in Constraint Satisfaction Problems
    • 46
    Symmetry Breaking Using Stabilizers
    • 49
    Efficient symmetry breaking for Boolean satisfiability
    • 120
    • PDF
    Symmetry Breaking Revisited
    • J. Puget
    • Computer Science, Mathematics
    • Constraints
    • 2004
    • 60
    • PDF
    Global Constraints for Integer and Set Value Precedence
    • 63
    • PDF
    Symmetry breaking ordering constraints
    • 30
    • PDF