34 search results - page 1 / 7 » A Hyper-arc Consistency Algorithm for the Soft Alldifferent ... |
CP
2004
Springer
13 years 8 months ago
2004
Springer
This paper presents an algorithm that achieves hyper-arc consistency for the soft alldifferent constraint. To this end, we prove and exploit the equivalence with a minimum-cost flo...
HEURISTICS
2006
13 years 4 months ago
2006
In case a CSP is over-constrained, it is natural to allow some constraints, called soft constraints, to be violated. We propose a generic method to soften global constraints that c...
IJCAI
2003
13 years 6 months ago
2003
In constraint programming one models a problem by stating constraints on acceptable solutions. The constraint model is then usually solved by interleaving backtracking search and ...
CP
2000
Springer
13 years 9 months ago
2000
Springer
AI
2008
Springer
13 years 4 months ago
2008
Springer
The AllDifferent constraint is a crucial component of any constraint toolkit, language or solver, since it is very widely used in a variety of constraint models. The literature con...