| - Up - | Next >> |
A CSP is specified by a finite number of variables and a finite number of constraints on these variables:
CSP == Variables + Constraints
A solution to a CSP is an assignment of values to the variables such that the constraints are satisfied.
The constraint programming approach to solving a CSP rests of the following ideas:
devise an explicit representation of the partial information known about the desired assignment of values to variables
improve this information through constraint propagation
| - Up - | Next >> |