Experiments with subdivision of search in distributed theorem proving
PASCO '97 Proceedings of the second international symposium on Parallel symbolic computation
A taxonomy of parallel strategies for deduction
Annals of Mathematics and Artificial Intelligence
Combining Parallel and Distributed Search in Automated Equational Deduction
PPAM '01 Proceedings of the th International Conference on Parallel Processing and Applied Mathematics-Revised Papers
Hi-index | 0.00 |