When bounds consistency implies domain consistency for regular counting constraints.
Barnaby MartinJustin PearsonPublished in: Constraints An Int. J. (2022)
Keyphrases
- consistency checking
- global constraints
- path consistency
- global consistency
- consistency constraints
- constraint networks
- constraint programming
- cardinality constraints
- temporal consistency
- case study
- domain independent
- domain specific
- constrained optimization
- domain experts
- lower bound
- neural network
- disjunctive constraints