Next:
OTTER's Full Sequential Algorithm
Up:
High-Performance Parallel Theorem Proving
Previous:
Analysis of Results
ROO - a Full-Featured Parallel Theorem Prover
OTTER's Full Sequential Algorithm
The Deletion Problem
Using the Database During Deletion
The Solution: Tasks C and D
The Memory-Balancing Problem
Results
Analysis of Results
Karen D. Toonen
1998-11-19
