Suppose there are three variables, A , B and C , each with the domain { 1 , 2 , 3 } . Consider the constraints A = B , B = C , and A C . This is arc consistent: no domain can be pruned using any single constraint. It is instructive for you to try to find a model for this example; try to assign a value to each variable that satisfies these constraints.