Arc consistency
n
Simplest form of propagation makes each arc
consistent
n
X
Y
is consistent iff
for
every
value
x
of
X
there is
some
allowed
y
