Concurrent cooperating solvers over reals (Q1371176)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Concurrent cooperating solvers over reals |
scientific article |
Statements
Concurrent cooperating solvers over reals (English)
0 references
13 May 1998
0 references
The authors introduce a cooperating scheme -- named CCC -- where an interval narrowing solver and a linear programming solver work concurrently in a constraint logic programming framework. Each solver is composed of a local constraint store, a communication process and several solving processes. Details on the implementation as well as extensions and three examples are given.
0 references
global optimization
0 references
interval computation
0 references
linear programming
0 references
logic programming
0 references
