SPS-Parallelism + SETHEO = SPTHEO
Journal of Automated Reasoning
Parallelization of a Hyper-Linking–Based Theorem Prover
Journal of Automated Reasoning
Nagging: a scalable fault-tolerant paradigm for distributed search
Artificial Intelligence
A Distributed Learning Algorithm for Bayesian Inference Networks
IEEE Transactions on Knowledge and Data Engineering
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
p-SETHEO: Strategy Parallelism in Automated Theorem Proving
TABLEAUX '98 Proceedings of the International Conference on Automated Reasoning with Analytic Tableaux and Related Methods
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
An optimal multiprocessor combinatorial auction solver
Computers and Operations Research
| Hi-index | 0.00 |