17 Feb 2005
CS 3243 - Constraint Satisfaction
31
Arc consistency
n
Simplest form of propagation makes each arc
consistent
n
X
à
Y
is consistent iff
n
for
every
value
x
of
X
there is
some
allowed
y
