109 search results - page 6 / 22 » General Symmetry Breaking Constraints |
ECAI
2000
Springer
14 years 1 months ago
2000
Springer
CORR
2008
Springer
13 years 9 months ago
2008
Springer
Symmetries are intrinsic to many combinatorial problems including Boolean Satisfiability (SAT) and Constraint Programming (CP). In SAT, the identification of symmetry breaking pred...
CP
2006
Springer
14 years 24 days ago
2006
Springer
Many symmetry breaking methods have been proposed so far. Previous works have shown that these methods could be combined together under some conditions. We use a different angle :...
CPAIOR
2005
Springer
14 years 2 months ago
2005
Springer
The effects of combining search and modelling techniques can be complex and unpredictable, so guidelines are very important for the design and development of effective and robust s...
CP
2005
Springer
14 years 2 months ago
2005
Springer
We propose a surprisingly simple new way of breaking all value symmetries with constraints. Our method requires the addition of one variable per value of the problem plus a linear ...