Interval Consistency

Assume a constraint d over variables X and Y.

A basic constraint C is interval consistent in X with

respect to d, if for i=min(domc(X)) and for

i=max(domc(X)) there is a j?domc(Y)

such that (i,j)?d.

Example:

d: X + Y = 10

C: X?{7,9}, Y?{1..20}

Previous slide

Next slide

Back to first slide

View graphic version