Corpus ID: 12473143

Using Symmetry of Global Constraints to Speed up the Resolution of Constraint Satisfaction Problems

@inproceedings{Roy2002UsingSO,
  title={Using Symmetry of Global Constraints to Speed up the Resolution of Constraint Satisfaction Problems},
  author={P. Roy and F. Pachet},
  year={2002}
}
  • P. Roy, F. Pachet
  • Published 2002
  • Mathematics
  • 1 LIP6, Boite 169, 4 Place Jussieu, 75 252 Paris Cedex 05, France. e-mail: roy@poleia.lip6.fr 2 SONY CSL-Paris, 6 rue Amyot, 75 005 Paris, France. e-mail: pachet@csl.sony.fr Abstract. Symmetry in constraint satisfaction problems (CSP) can be used to either compute only a subset of the total solution set, or to prune branches of the search tree. However, detecting symmetry in general is a difficult task. In this paper, we address the problem of detecting and exploiting a particular class of… CONTINUE READING

    Figures and Tables from this paper.

    Handbook of Constraint Programming
    • 1,322
    • PDF
    Global Cut Framework for Removing Symmetries
    • 150
    • Highly Influenced
    Symmetry Breaking in Constraint Programming
    • 230
    • PDF
    Symmetry in Constraint Programming
    • 106
    • PDF
    Symmetry Breaking Revisited
    • 56
    • PDF
    Symmetry breaking during search in constraint programming
    • 103
    • Highly Influenced
    Symmetry Breaking Revisited
    • J. Puget
    • Computer Science, Mathematics
    • 2004
    • 57
    • PDF
    Symmetry Definitions for Constraint Satisfaction Problems
    • 71
    Exploiting symmetries within constraint satisfaction search
    • 85
    • Highly Influenced
    • PDF
    Symmetry Definitions for Constraint Satisfaction Problems
    • 65
    • PDF

    References

    Publications referenced by this paper.
    SHOWING 1-10 OF 22 REFERENCES
    Consistency in Networks of Relations
    • 2,739
    • PDF
    Increasing Tree Search Efficiency for Constraint Satisfaction Problems
    • 1,361
    • PDF
    Symmetry-Breaking Predicates for Search Problems
    • 476
    Generalized Arc Consistency for Global Cardinality Constraint
    • 375
    HYBRID ALGORITHMS FOR THE CONSTRAINT SATISFACTION PROBLEM
    • 687
    • PDF
    An Efficient Arc Consistency Algorithm for a Class of CSP Problems
    • 94
    • PDF
    Arc Consistency for General Constraint Networks: Preliminary Results
    • 238