Experiments with subdivision of search in distributed theorem proving
PASCO '97 Proceedings of the second international symposium on Parallel symbolic computation
A model and a first analysis of distributed-search contraction-based strategies
Annals of Mathematics and Artificial Intelligence
A taxonomy of parallel strategies for deduction
Annals of Mathematics and Artificial Intelligence
Computer algebra handbook
Master-slave systems of semantic schemas and applications
ISC '07 Proceedings of the 10th IASTED International Conference on Intelligent Systems and Control
A self-adaptive computing framework for parallel maximum likelihood evaluation
The Journal of Supercomputing
Trying to outperform a well-known index with a sequential scan
Proceedings of the Joint EDBT/ICDT 2013 Workshops
Hi-index | 0.00 |