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.
CITATION STYLE
Hofstedt, P. (2000). Cooperating constraint solvers. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 1894, pp. 520–525). Springer Verlag. https://doi.org/10.1007/3-540-45349-0_42
Mendeley helps you to discover research relevant for your work.