Efficient logic variables for distributed computing
ACM Transactions on Programming Languages and Systems (TOPLAS)
Parallel execution of prolog programs: a survey
ACM Transactions on Programming Languages and Systems (TOPLAS)
SCIL - Symbolic Constraints in Integer Linear Programming
ESA '02 Proceedings of the 10th Annual European Symposium on Algorithms
Implementing global constraints as graphs of elementary constraints
Acta Cybernetica
Hi-index | 0.01 |