Research Issues
- Task division and exchange of messages
between
- Redux' managing incremental change, and
- CM managing consistency, propagation
- Conditional, as well as dynamic constraints
- Engineering constraint representation and user
control of problem solving
- Recovering from inconsistency after constraint
propagation
- Recognition of constraint types and assignment
to proper solvers
NEXT
Charles
Petrie
Last modified: Wed Jul 23 10:49:13 PDT 1997