- 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 >> |

Denys Duchier

Version 1.2.0 (20010221)