Solving a system of difference constraints with variables restricted to a finite set.
John P. FishburnPublished in: Inf. Process. Lett. (2002)
Keyphrases
- finite domain
- finite number
- decision variables
- constraint sets
- constraint programming
- lower and upper bounds
- small number
- constraint propagation
- linear constraints
- probability distribution
- real numbers
- function symbols
- boolean variables
- variable ordering
- equality constraints
- cardinality constraints
- nonlinear programming