|Title||A Distributed Cooperating Constraints Solving System|
|Author(s)|| Philippe Marti, Michel Rueher|
|Type||Article in Journal|
|Abstract||An appropriate combination of symbolic and numeric solvers often makes it possible to solve problems that none of these solvers can tackle alone. |
In this paper, we specify a cooperative architecture which allows using concurrently heterogeneous solvers when handling constraints over the reals. This architecture is based upon agents that communicate via asynchronous message passing. Agents are synchronized when a failure or a success occurs. Disjunctive constraints are handled by backtracking. Operational semantics and terminating conditions of such systems are discussed. Implementation issues are addressed. We end the presentation by several examples and give some computational results from a first prototype.
|Journal||International Journal of Artificial Intelligence Tools|