Abstract
The solving of multi-domain constraint problems with the help of collaborating solvers has seen extended interest in recent years. We describe the implementation (Meta-S) and extension of a previously proposed theoretical framework of cooperating constraint solvers. Meta-S allows the dynamic integration of arbitrary external (stand-alone) solvers to enable the collaborative processing of constraints. The modular structure allows the easy experimentation with different cooperation strategies. This is further amplified by an integrated strategy description language which supports the adaption of general strategies for problem specific needs to reduce the incurred cooperation overhead.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Hofstedt, P.: Better Communication for Tighter Cooperation. In: Palamidessi, C., Moniz Pereira, L., Lloyd, J.W., Dahl, V., Furbach, U., Kerber, M., Lau, K.-K., Sagiv, Y., Stuckey, P.J. (eds.) CL 2000. LNCS (LNAI), vol. 1861, p. 342. Springer, Heidelberg (2000)
Godehardt, E., Hofstedt, P., Seifert, D.: A Framework for Cooperating Constraint Solvers. In: CoSolv Workshop, At the 7th Int’l. Conf. on Principles and Practice of Constraint Programming (2001)
Hong, H.: Confluency of Cooperative Constraint Solvers. Technical Report 94-08, Research Institute for Symbolic Computation, Linz, Austria (1994)
Hofstedt, P.: Cooperation and Coordination of Constraint Solvers. PhD thesis, Technische Universität Dresden. Shaker Verlag, Aachen (2001)
Rueher, M.: An Architecture for Cooperating Constraint Solvers on Reals. In: Podelski, A. (ed.) Constraint Programming: Basics and Trends. LNCS, vol. 910. Springer, Heidelberg (1995)
Monfroy, E.: Solver Collaboration for Constraint Logic Programming. PhD thesis, Université Henri Poincaré – Nancy I (1996)
Hofstedt, P.: A general Approach for Building Constraint Languages. In: McKay, B., Slaney, J.K. (eds.) Canadian AI 2002. LNCS (LNAI), vol. 2557, pp. 431–442. Springer, Heidelberg (2002)
Castro, C., Monfroy, E.: Basic Operators for Solving Constraints via Collaboration of Solvers. In: Campbell, J., Roanes-Lozano, E. (eds.) AISC 2000. LNCS (LNAI), vol. 1930, p. 142. Springer, Heidelberg (2001)
Kobayashi, N., Marin, M., Ida, T., Che, Z.: Open CFLP: An Open System for Collaborative Constraint Functional Logic Programming. In: 11th Int’l Workshop on Functional and (Constraint) Logic Programming, WFLP 2002 (2002)
Bitner, J., Reingold, E.M.: Backtrack Programming Techniques. Communications of the ACM (CACM) 18 (1975)
Frühwirth, T.: Constraint Handling Rules. In: Podelski, A. (ed.) Constraint Programming: Basics and Trends. LNCS, vol. 910. Springer, Heidelberg (1995)
Aït-Kaci, H., Nasr, R.: Integrating logic and functional programming. Lisp and Symbolic Computation 2 (1989)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2003 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Frank, S., Hofstedt, P., Mai, P.R. (2003). A Flexible Meta-solver Framework for Constraint Solver Collaboration. In: Günter, A., Kruse, R., Neumann, B. (eds) KI 2003: Advances in Artificial Intelligence. KI 2003. Lecture Notes in Computer Science(), vol 2821. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-39451-8_38
Download citation
DOI: https://doi.org/10.1007/978-3-540-39451-8_38
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-20059-8
Online ISBN: 978-3-540-39451-8
eBook Packages: Springer Book Archive