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.

• Type: Conference
• Year: 2000
• Where: CL
• Authors: Petra Hofstedt
• Keywords: Automated Reasoning, CL 2000, Constraint Solvers, Different Constraint Solvers, flexible Combination Mechanism