Next:
Bibliography
Up:
High-Performance Parallel Theorem Proving
Previous:
Balancing Memory Usage
Conclusions
(easy to modify otter, esp. part 1, stability of proofs, comments on shared-memory multiprocessors vs. workstations)
Karen D. Toonen
1998-11-19
