Symmetry Breaking Using Value Precedence

@inproceedings{Walsh2006SymmetryBU,
  title={Symmetry Breaking Using Value Precedence},
  author={T. Walsh},
  booktitle={ECAI},
  year={2006}
}
  • T. Walsh
  • Published in ECAI 2006
  • Physics, Computer Science
  • We present a comprehensive study of the use of value precedence constraints to break value symmetry. We first give a simple encoding of value precedence into ternary constraints that is both efficient and effective at breaking symmetry. We then extend value precedence to deal with a number of generalizations like wreath value and partial interchangeability. We also show that value precedence is closely related to lexicographical ordering. Finally, we consider the interaction between value… CONTINUE READING
    33 Citations

    Tables and Topics from this paper

    Breaking Value Symmetry
    • T. Walsh
    • Mathematics, Computer Science
    • CP
    • 2007
    • 40
    • PDF
    On the Complexity of Breaking Symmetry
    • 1
    • PDF
    Dynamic Posting of Static Symmetry Breaking Constraints
    • PDF
    Breaking Symmetry of Interchangeable Variables and Values
    • 28
    • PDF
    Breaking Symmetry with Different Orderings
    • 9
    • PDF
    Breaking Constraints Dynamically
    • PDF
    Decompositions of All Different, Global Cardinality and Related Constraints
    • 32
    • PDF
    Symmetries of Symmetry Breaking Constraints
    • 8
    • PDF
    Symmetry Breaking Constraints: Recent Results
    • 23
    • PDF

    References

    SHOWING 1-10 OF 13 REFERENCES
    Global Constraints for Integer and Set Value Precedence
    • 63
    • Highly Influential
    • PDF
    Tractable Symmetry Breaking Using Restricted Search Trees
    • 82
    • PDF
    Global Constraints for Lexicographic Orderings
    • 122
    Structural Symmetry Breaking
    • 51
    • Highly Influential
    • PDF
    Breaking All Value Symmetries in Surjection Problems
    • J. Puget
    • Mathematics, Computer Science
    • CP
    • 2005
    • 37
    Tractable Symmetry Breaking for CSPs with Interchangeable Values
    • 49
    • PDF
    Using constraints to break value symmetries in constraint satisfaction problems
    • 5
    Arc-Consistency for a Chain of Lexicographic Ordering Constraints
    • 47
    • Highly Influential
    • PDF
    Symmetry-Breaking Predicates for Search Problems
    • 485
    • Highly Influential
    Breaking value symmetries in matrix models using channeling constraints
    • 14
    • PDF