Distributed deduction by clause-diffusion: distributed contraction and the Aquarius prover

Authors:
Maria Paola Bonacina;Jieh Hsiang
Affiliations:
-;-
Venue:
Journal of Symbolic Computation - Special issue on design and implementation of symbolic computation systems
Year:
1995

Citing 0
Cited 5

A model and a first analysis of distributed-search contraction-based strategies

Annals of Mathematics and Artificial Intelligence
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
Improving the Efficiency of Reasoning Through Structure-Based Reformulation

SARA '02 Proceedings of the 4th International Symposium on Abstraction, Reformulation, and Approximation
Octopus: Combining Learning and Parallel Search

Journal of Automated Reasoning

Quantified Score

Hi-index	0.00

Visualization

Abstract