Better Communication for Tighter Cooperation
We propose a general scheme for the cooperation of different constraint solvers. A uniform interface for constraint solvers allows to formally specify information exchange between them and it enables the development of an open and very flexible combination mechanism. This mechanism allows the definition of a wide range of different cooperation strategies according to the current requirements such that our overall system forms a general framework for cooperating constraint solvers.
KeywordsOperational Semantic Constraint System Cooperation Strategy Constraint Solver Derivation Relation
Unable to display preview. Download preview PDF.
- 1.A. Colmerauer. Naive solving of non-linear constraints. In F. Benhamou and A. Colmerauer, editors, Constraint Logic Programming. Selected Research, pages 89–112. MIT Press, 1993.Google Scholar
- 2.P. Hofstedt. A functional logic language as hostlanguage for a system of combined constraint solvers. In R. Echahed, editor, 8th International Workshop on Functional and Logic Programming, pages 119–132. Grenoble, France, 1999.Google Scholar
- 3.H. Hong. Confluency of cooperative constraint solvers. Technical Report 94-08, Research Institute for Symbolic Computation, Linz, Austria, 1994.Google Scholar
- 4.J. Jaffar and J.-L. Lassez. Constraint logic programming. Technical Report 74, Monash University, Melbourne, Australia, 1986.Google Scholar
- 6.E. Monfroy. Solver Collaboration for Constraint Logic Programming. PhD thesis, Centre de Recherche en Informatique de Nancy. INRIA-Lorraine, 1996.Google Scholar
- 7.M. Rueher. An architecture for cooperating constraint solvers on reals. In A. Podelski, editor, Constraint Programming, volume 910 of LNCS. Springer-Verlag, 1995.Google Scholar
- 9.C. Tinelli and M.T. Harandi. Constraint logic programming over unions of constraint theories. The Journal of Functional and Logic Programming, Article 6, 1998.Google Scholar