2.2 Constraint Propagation

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

and the domain constraints

$X\in23\#100$

and

$Y\in1\#33$

constraint propagation can narrow the domains of and to

$X\in23\#32$

and

$Y\in24\#33$