Coordination-Based Cooperation of Constraint Solvers in DICE

DICE (DIstributed Constraint Environment) is a software framework, implemented using the Manifold coordination language, for constructing distributed constraint solvers from software components in a number of predefined categories. One of these component categories contains incomplete constraint solvers, that can act as a domain reduction operator inside a constraint propagation algorithm. From this point of view, the framework can be seen as a platform for solver cooperation. In this talk we propose a number of extensions to the existing implementation, that will make the framework suitable for a larger variety of solver cooperation schemes. We will give a high-level, informal description of the current framework and the extensions, and show how the target system can be used to implement a number of existing solver cooperations.  

hosted by