Generative communication in Linda
ACM Transactions on Programming Languages and Systems (TOPLAS)
Rule-based constraint programming
Fundamenta Informaticae - Special issue on foundations of constraint programming
Coordination of heterogeneous distributed cooperative constraint solving
ACM SIGAPP Applied Computing Review - Special issue on coodination languages and models
The essence of constraint propagation
Theoretical Computer Science
The role of commutativity in constraint propagation algorithms
ACM Transactions on Programming Languages and Systems (TOPLAS)
Symbolic-interval cooperation in constraint programming
Proceedings of the 2001 international symposium on Symbolic and algebraic computation
Control-Driven Coordination Programming in Shared Dataspace
PaCT '97 Proceedings of the 4th International Conference on Parallel Computing Technologies
The IWIM Model for Coordination of Concurrent Activities
COORDINATION '96 Proceedings of the First International Conference on Coordination Languages and Models
Automatic Analysis of Composite Solvers
ICTAI '02 Proceedings of the 14th IEEE International Conference on Tools with Artificial Intelligence
Propositional Satisfiability and Constraint Programming: A comparative survey
ACM Computing Surveys (CSUR)
Maintaining constraints in collaborative graphic systems: the CoGSE approach
ECSCW'05 Proceedings of the ninth conference on European Conference on Computer Supported Cooperative Work
A Proposal for the Cooperation of Solvers in Constraint Functional Logic Programming
Electronic Notes in Theoretical Computer Science (ENTCS)
A component language for hybrid solver cooperations
ADVIS'04 Proceedings of the Third international conference on Advances in Information Systems
| Hi-index | 0.00 |
We propose a predefined set of basic components for designing and implementing constraint solver cooperations and solver cooperation languages. Combining these components into patterns enables one to manage computation, control, and coordination needed for solver cooperations. Our framework has been implemented with the CHR language. We then used it to implement some cooperation primitives, and some constraint propagation with cooperative components.