1. Constraint Satisfaction Problems [15 marks]

Given the following constraints and domain values, use the AC-3 algorithm to make this problem arc consistent

B < A

C < B - 1

A = {10, 11, 12, 13, 14}

B = {10, 11, 12, 13, 14}

C = {10, 11, 12, 13, 14}