Experiments with subdivision of search in distributed theorem proving
PASCO '97 Proceedings of the second international symposium on Parallel symbolic computation
A Performance Analysis of Transposition-Table-Driven Work Scheduling in Distributed Search
IEEE Transactions on Parallel and Distributed Systems
A taxonomy of parallel strategies for deduction
Annals of Mathematics and Artificial Intelligence
Combination of Distributed Search and Multi-search in Peers-mcd.d
IJCAR '01 Proceedings of the First International Joint Conference on Automated Reasoning
Octopus: Combining Learning and Parallel Search
Journal of Automated Reasoning
Distributed Resolution for Expressive Ontology Networks
RR '09 Proceedings of the 3rd International Conference on Web Reasoning and Rule Systems
| Hi-index | 0.00 |