Domain Consistency

Assume a constraint d over variables X and Y.

A basic constraint C is domain consistent in X

with respect to d, if for every i?domc(X)

there is a j?domc(Y) such that (i,j)?d.

Example:

d: X + Y = 10

C: X?{7,9}, Y?{1,3}

Previous slide

Next slide

Back to first slide

View graphic version