Coordination of heterogeneous distributed cooperative constraint solving
ACM SIGAPP Applied Computing Review - Special issue on coodination languages and models
Using coordination for cooperative constraint solving
SAC '98 Proceedings of the 1998 ACM symposium on Applied Computing
Implementing non-linear constraints with cooperative solvers
SAC '96 Proceedings of the 1996 ACM symposium on Applied Computing
Constraints in computational logics
Rewriting logic: roadmap and bibliography
Theoretical Computer Science - Rewriting logic and its applications
Unions of non-disjoint theories and combinations of satisfiability procedures
Theoretical Computer Science
Deciding the Word Problem in the Union of Equational Theories Sharing Constructors
RtA '99 Proceedings of the 10th International Conference on Rewriting Techniques and Applications
On the cooperation of the constraint domains ℋ, ℛ, and ℱ in cflp
Theory and Practice of Logic Programming
An Open Automated Framework for Constraint Solver Extension: the SoleX Approach
Fundamenta Informaticae
Rule-Based Constraint Programming
Fundamenta Informaticae
Hi-index | 0.00 |