Constraint Satisfaction Problem
CSP
- a set of variables X={x1,…,xn}
- variables’ domains (x1 in Di)
- a set of constraints
Example
- A:{0,1}, B:{0,1}, C:{0,1}
- C = A and B
Solution of CSP
- assignment of a value to each variable that satisfies all the constraints