Concurrent cooperating solvers over reals (Q1371176)
From MaRDI portal
 | This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use this page instead for the normal view: Concurrent cooperating solvers over reals |
scientific article; zbMATH DE number 1080437
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Concurrent cooperating solvers over reals |
scientific article; zbMATH DE number 1080437 |
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
0.8793767
0 references
