Publication | Closed Access
A DISTRIBUTED COOPERATING CONSTRAINTS SOLVING SYSTEM
33
Citations
0
References
1995
Year
Mathematical ProgrammingEngineeringVerificationComputational ComplexityFormal VerificationConstraint ProgrammingConstraint SolvingOperational SemanticsSystems EngineeringDistributed Problem SolvingCombinatorial OptimizationNumeric SolversDistributed Constraint OptimizationDistributed SystemsComputer ScienceConstraint SatisfactionAutomated ReasoningFormal MethodsCooperative Architecture
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.