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
Parallelization of a Hyper-Linking–Based Theorem Prover
Journal of Automated Reasoning
Algorithms, Datastructures, and other Issues in Efficient Automated Deduction
IJCAR '01 Proceedings of the First International Joint Conference on Automated Reasoning
Automated reasoning: past story and new trends
IJCAI'03 Proceedings of the 18th international joint conference on Artificial intelligence
A multi-agent framework for distributed theorem proving
Expert Systems with Applications: An International Journal
The Clause-Diffusion Methodology For Distributed Deduction
Fundamenta Informaticae
A parallelized theorem prover for a logic with parallel execution
ITP'13 Proceedings of the 4th international conference on Interactive Theorem Proving
The strategy challenge in SMT solving
Automated Reasoning and Mathematics
Hi-index | 0.00 |