<< Prev | - Up - | Next >> |
The main problem of constraint solving is the danger of combinatoric explosion.
The basic method of concurrent constraint programming is `propagate and distribute', in contrast to `generate and test'.
Propagation is an efficient concurrent process. Propagation is typically incomplete from a logical point of view. Completeness can be obtained by adding distribution to propagation.
<< Prev | - Up - | Next >> |