##

Constraint Propagation

Constraint propagation is an inference rule for finite domain
problems that narrows the domains
of variables. For instance, given the inequation
*X* < *Y*

and the basic constraints

and

constraint propagation can narrow the domains of X and Y to

and

Andreas Rossberg
2006-08-28