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. 1 Introduction 1.1 Motivation Many industrial applications can be modeled by a set of constraints defined over the reals (e.g., financial applications, thermal flow problems, electro-mechanical engineering problems) . These systems of constraints are usually non-linear or even...

Citations