| Title | Implementing non-linear constraints with cooperative solvers |
| Author(s) | Eric Monfroy, Michael Rusinowitch, Rene Schott |
| Type | Article in Conference Proceedings |
| Abstract | We investigate the use of cooperation between solvers in the scheme of constraint logic programming languages over the domain of non-linear polynomial constraints. Instead of using a general and often inefficient decision procedure we propose a new approach for handling these constraints by cooperating specialised solvers. Our approach requires the design of a client/server architecture to enable communication between the various components. The main modules are a linear solver, a non-linear solver, a constraint manager, a communication protocol component and an answer processor module.
This work is motivated by the need for a declarative system for robot motion planning and geometric problem solving. We have implemented a prototype called CoSAc (Constraint System Architecture) to validate our approach using cooperating solvers for non-linear constraints over the real numbers. Our language is illustrated by an example that also shows the advantages of cooperation. |
| Language | English |
| Pages | 63-72 |
| Publisher | ACM |
| Year | 1996 |
| Editor | K. M. George and J. H. Carroll and D. Oppenheim and J. Hightower |
| Edition | 0 |
| Translation |
No |
| Refereed |
No |
