Question 42
CONSTRAINT SATISFACTION Consider a CSP over 3 variables A, B, C where the domains and constraints are:
where, mod(n,d) returns the remainder after dividing n by d, for example, mod(8,3)=2, mod(6,7)=6, mod(8,7)=1. Compute the three relations to match the domain constraints,then draw the constraint graph and matching-diagram,and then answer the sub-questions.