ROO: A Parallel Theorem Prover

Authors:
Ewing L. Lusk;William McCune;John K. Slaney
Affiliations:
-;-;-
Venue:
CADE-11 Proceedings of the 11th International Conference on Automated Deduction: Automated Deduction
Year:
1992

Citing 0
Cited 4

A taxonomy of parallel strategies for deduction

Annals of Mathematics and 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
A survey of automated deduction

Artificial intelligence today

Quantified Score

Hi-index	0.01

Visualization

Abstract