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
mathend000#
and the basic constraints
mathend000#
and
mathend000#
constraint propagation can narrow the domains of X and Y to
mathend000#
and
mathend000#
Guido Tack
2007-04-26