Go backward to
Solution to Question 3, part 1
Go up to
Question 3
Solution to Question 3, part 2
No, this is not arc consistent.
For
X=2
there is no
Y
such that
(X+Y) mod 2 = 1
is true. This can be pruned with the arc
<X,Y>
.