A Global Constraint Combining a Sum Constraint and Difference Constraints.
Jean-Charles RéginMichel RueherPublished in: CP (2000)
Keyphrases
- global constraints
- generalized arc consistency
- boolean constraints
- constraint programming
- combinatorial problems
- constraint satisfaction problems
- cardinality constraints
- weighted constraint satisfaction
- integer linear programming
- symmetry breaking
- objective function
- integer programming
- fixed parameter tractable
- arc consistency
- functional dependencies
- precedence constraints
- constraint satisfaction
- sparsity constraints
- state space
- parameterized complexity
- special case