Parallel execution of prolog programs: a survey
ACM Transactions on Programming Languages and Systems (TOPLAS)
Optimal Distributed Arc-Consistency
Constraints
Convergence Properties of Optimization Algorithms for the SAT Problem
IEEE Transactions on Computers
International Journal of Computational Science and Engineering
Hi-index | 0.00 |