General Symmetry Breaking Constraints

@inproceedings{Walsh2006GeneralSB,
  title={General Symmetry Breaking Constraints},
  author={T. Walsh},
  booktitle={CP},
  year={2006}
}
  • T. Walsh
  • Published in CP 2006
  • Mathematics, Computer Science
  • 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. 
    63 Citations

    Topics from this paper

    Breaking Variable and Value Symmetry
    • 1
    • PDF
    Symmetry Breaking Constraints: Recent Results
    • 23
    • PDF
    Dynamic Symmetry Breaking Constraints
    • 4
    • PDF
    Dynamic Posting of Static Symmetry Breaking Constraints
    • PDF
    Symmetry within Solutions
    • 12
    • PDF
    Symmetry in Constraint Optimization
    • 3
    • PDF
    Breaking Value Symmetry
    • T. Walsh
    • Mathematics, Computer Science
    • CP
    • 2007
    • 40
    • PDF
    Parameterized Complexity Results in Symmetry Breaking
    • 5
    • PDF
    Arities of Symmetry Breaking Constraints
    • PDF

    References

    SHOWING 1-10 OF 29 REFERENCES
    Breaking All Value Symmetries in Surjection Problems
    • J. Puget
    • Mathematics, Computer Science
    • CP
    • 2005
    • 37
    • Highly Influential
    Breaking symmetries in all different problems
    • J. Puget
    • Computer Science, Mathematics
    • IJCAI
    • 2005
    • 70
    • PDF
    An Efficient Way of Breaking Value Symmetries
    • 31
    • Highly Influential
    • PDF
    Symmetry Breaking Constraints for Value Symmetries in Constraint Satisfaction
    • 43
    • PDF
    Symmetry Definitions for Constraint Satisfaction Problems
    • 69
    Conditional Symmetry Breaking
    • 42
    • PDF
    Symmetry-Breaking Predicates for Search Problems
    • 485
    • Highly Influential
    Symmetry Breaking Using Value Precedence
    • T. Walsh
    • Physics, Computer Science
    • ECAI
    • 2006
    • 33
    • PDF
    Breaking Row and Column Symmetries in Matrix Models
    • 219
    • PDF
    Efficient symmetry breaking for Boolean satisfiability
    • 120
    • PDF