A coordination-based chaotic iteration algorithm for constraint propagation
SAC '00 Proceedings of the 2000 ACM symposium on Applied computing - Volume 1
The role of commutativity in constraint propagation algorithms
ACM Transactions on Programming Languages and Systems (TOPLAS)
Distributed Splitting of Constraint Satisfaction Problems
COORDINATION '00 Proceedings of the 4th International Conference on Coordination Languages and Models
Constraint Propagation for Soft Constraints: Generalization and Termination Conditions
CP '02 Proceedings of the 6th International Conference on Principles and Practice of Constraint Programming
Arc Consistency Algorithms via Iterations of Subsumed Functions
CL '00 Proceedings of the First International Conference on Computational Logic
Coordination-based distributed constraint solving in DICE
Proceedings of the 2003 ACM symposium on Applied computing
An interval constraint system for lattice domains
ACM Transactions on Programming Languages and Systems (TOPLAS)
Constraint programming viewed as rule-based programming
Theory and Practice of Logic 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
Invited contribution: hybrid CSP solving
FroCoS'05 Proceedings of the 5th international conference on Frontiers of Combining Systems
Implementing semiring-based constraints using mozart
MOZ'04 Proceedings of the Second international conference on Multiparadigm Programming in Mozart/Oz
Hi-index | 0.00 |