An Architecture for Cooperating Constraint Solvers on Reals (1995)
| Venue: | Constraint Programming: Basics and Trends, LNCS 910 |
| Citations: | 18 - 5 self |
BibTeX
@INPROCEEDINGS{Rueher95anarchitecture,
author = {Michel Rueher},
title = {An Architecture for Cooperating Constraint Solvers on Reals},
booktitle = {Constraint Programming: Basics and Trends, LNCS 910},
year = {1995},
pages = {231--250},
publisher = {Springer-Verlag}
}
Years of Citing Articles
Bookmark
 |
 |
 |
 |
 |
 |
OpenURL
Abstract
. In this paper we introduce a cooperative scheme for solving systems of constraints over the reals. First, we informally show how an appropriate combination of symbolic and numeric solvers makes it possible to solve problems that none of these solvers can tackle alone. Then, we specify a cooperative architecture which allows to use concurrently heterogeneous solvers when handling constraints over the reals. This architecture is based upon agents that communicate via asynchronous message passing. Agent 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. Message processing is detailed for both the general case where several non-deterministic solvers are involved in the cooperation, and for more specialized architectures. 1 Introduction 1.1 Motivation Numerous industrial problems can be modeled by a set of constraints defined over the reals (e.g., financ...
