Solving constraints over the reals-a multi-solver approach

In this paper we introduce a multi-solver approach for solving systems of constraints over the reals. First, we informally show how a cooperation between different solvers makes it possible to solve problems that none of these solvers can tackle alone. Then, we specify a cooperative architecture based upon agents that communicate via asynchronous message passing. This architecture allows to use concurrently symbolic and numerical solvers together, in order to handle constraints over the real numbers