Question 23
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 integer n by integer d, for example, mod(8,3)=2, mod(12,3)=0, mod(16,3)=1.
Compute the three constraints such that the values are from respective domains, draw the constraint graph and matching-diagram, then answer the given sub-questions.
If the 8-Queens problem is modelled as a Binary Constraint Network, the number of binary relations in the constraint set will be __________ .
Enter an integer.