1494 search results - page 14 / 299 » Kernels for Global Constraints |
CPAIOR
2007
Springer
14 years 1 months ago
2007
Springer
Abstract. We propose generalizations of the Global Cardinality Constraint (gcc) in which a partition of the variables is given. In the context of resource allocation problems, such...
SAC
2004
ACM
14 years 1 months ago
2004
ACM
Integrity constraints are valuable tools for enforcing consistency of data in a database. Global integrity constraints ensure integrity and consistency of data spanning multiple d...
CP
2004
Springer
14 years 1 months ago
2004
Springer
Abstract. We study the global cardinality constraint (gcc) and pro
COCOS
2003
Springer
14 years 29 days ago
2003
Springer
In previous work, we have presented a novel global feasibility solver for the large system of quadratic constraints that arise as subproblems in the solving of hard hybrid problems...
CORR
2010
Springer
13 years 6 months ago
2010
Springer
We show that global constraints on finite domains like alldifferent can be reformulated into answer set programs on which we achieve arc, bound or range consistency. These reform...