• DOI:10.1088/1126-6708/2009/06/075
Corpus ID: 3264013

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

View PDF on arXiv

Save to Library

Create Alert

Cite

Launch Research Feed