Home | Quick Search | Advanced Search | Bibliography submission | Bibliography submission using bibtex | Bibliography submission using bibtex file | Links | Help | Internal

Details:

   
TitleA Distributed Cooperating Constraints Solving System
Author(s) Philippe Marti, Michel Rueher
TypeArticle in Journal
AbstractAn 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.

Length18
File
LanguageEnglish
JournalInternational Journal of Artificial Intelligence Tools
Volume4
Number1-2
Pages93-113
Year1995
Edition0
Translation No
Refereed No
Webmaster