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

@inproceedings{Roy1998UsingSO,
  title={Using Symmetry of Global Constraints to Speed up the Resolution of Constraint Satisfaction Problems},
  author={Pier re Roy and François Pachet},
  year={1998}
}
1 LIP6, Boîte 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