4 search results - page 1 / 1 » Combining Symmetry Breaking with Other Constraints: Lexicogr... |
84
Voted
AMAI
2004
Springer
15 years 4 months ago
2004
Springer
Abstract. We introduce a new global constraint which combines together the lexicographic ordering constraint with two sum constraints. Lexicographic ordering constraints are freque...
85
Voted
CSCLP
2008
Springer
15 years 19 days ago
2008
Springer
Abstract. We propose a new family of constraints which combine together lexicographical ordering constraints for symmetry breaking with other common global constraints. We give a g...
CONSTRAINTS
2006
14 years 11 months ago
2006
Constraint satisfaction problems (CSPs) sometimes contain both variable symmetries and value symmetries, causing adverse effects on CSP solvers based on tree search. As a remedy, s...
98
Voted
CP
2008
Springer
15 years 19 days ago
2008
Springer
ctural abstractions that were introduced in [17]. Compared with other symmetry-breaking techniques, the big advantage of dynamic symmetry breaking is that it can accommodate dynami...