Chaotic iteration for distributed constraint propagation
Proceedings of the 1999 ACM symposium on Applied computing
A coordination-based chaotic iteration algorithm for constraint propagation
SAC '00 Proceedings of the 2000 ACM symposium on Applied computing - Volume 1
Constraints solving as the coordination of inference engines
Coordination of Internet agents
Distributed constraint satisfaction: foundations of cooperation in multi-agent systems
Distributed constraint satisfaction: foundations of cooperation in multi-agent systems
Symbolic-interval cooperation in constraint programming
Proceedings of the 2001 international symposium on Symbolic and algebraic computation
The IWIM Model for Coordination of Concurrent Activities
COORDINATION '96 Proceedings of the First International Conference on Coordination Languages and Models
The Rough Guide to Constraint Propagation
CP '99 Proceedings of the 5th International Conference on Principles and Practice of Constraint Programming
A coordination-based framework for distributed constraint solving
ERCIM'02/CologNet'02 Proceedings of the 2002 Joint ERCIM/CologNet international conference on Constraint solving and constraint logic programming
On the cooperation of the constraint domains ℋ, ℛ, and ℱ in cflp
Theory and Practice of Logic Programming
Hi-index | 0.00 |
DICE (Distributed Constraint Environment) is a framework for the construction of distributed constraint solvers from software components in a number of predefined categories. The framework is implemented using the Manifold coordination language, and delivers coordination services to these components. The coordination services implement existing protocols for constraint propagation, termination detection and splitting of constraint satisfaction problems. DICE combines these protocols with support for parallel search and the grouping of closely related components into cooperating solvers. In addition to these facilities, the paper describes the DICE framework architecture, and gives a report on its implementation.