Abstract
We propose a general scheme for the cooperation of different constraint solvers. On top of a uniform interface for constraint we stepwise develop reduction systems which describe the behaviour of an overall combined system. The modularity of our definitions of reduction relations at different levels allows the definition of cooperation strategies for the solvers according to the current requirements such that our overall system forms a general framework for cooperating solvers.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
Similar content being viewed by others
References
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.
H. Hong. Confluency of cooperative constraint solvers. Technical Report 94-08, Research Institute for Symbolic Computation, Linz, Austria, 1994.
E. Monfroy. Solver Collaboration for Constraint Logic Programming. PhD thesis, Centre de Recherche en Informatique de Nancy. INRIA-Lorraine, 1996.
M. Rueher. An architecture for cooperating constraint solvers on reals. In A. Podel-ski, editor, Constraint Programming. Châtillon Spring School 1994. Selected Papers, volume 910 of LNCS, pages 231–250. Springer-Verlag, 1995.
M. Rueher and C. Solnon. Concurrent cooperating solvers over reals. Reliable Computing, 3:3:325–333, 1997.
C. Tinelli and M. T. Harandi. Constraint logic programming over unions of constraint theories. The Journal of Functional and Logic Programming, Article 6, 1998.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2000 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Hofstedt, P. (2000). Cooperating Constraint Solvers. In: Dechter, R. (eds) Principles and Practice of Constraint Programming – CP 2000. CP 2000. Lecture Notes in Computer Science, vol 1894. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-45349-0_42
Download citation
DOI: https://doi.org/10.1007/3-540-45349-0_42
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-41053-9
Online ISBN: 978-3-540-45349-9
eBook Packages: Springer Book Archive