A taxonomy of parallel strategies for deduction
Annals of Mathematics and Artificial Intelligence
SPS-Parallelism + SETHEO = SPTHEO
Journal of Automated Reasoning
E-SETHEO: Design, Configuration and Use of a Parallel Automated Theorem Prover
AI '99 Proceedings of the 12th Australian Joint Conference on Artificial Intelligence: Advanced Topics in Artificial Intelligence
Scheduling Methods for Parallel Automated Theorem Proving
AI '00 Proceedings of the 13th Biennial Conference of the Canadian Society on Computational Studies of Intelligence: Advances in Artificial Intelligence
Algorithms, Datastructures, and other Issues in Efficient Automated Deduction
IJCAR '01 Proceedings of the First International Joint Conference on Automated Reasoning
Octopus: Combining Learning and Parallel Search
Journal of Automated Reasoning
Editorial: Recent developments in high performance computing and security: An editorial
Future Generation Computer Systems
A parallelized theorem prover for a logic with parallel execution
ITP'13 Proceedings of the 4th international conference on Interactive Theorem Proving
Hi-index | 0.00 |