## ROO: Radically Optimized Otter## John Slaney, Ewing Lusk and Bill McCune
This is the abstract of the paper: Ewing L Lusk, William W McCune and John K Slaney.
In [
Parallelizing the Closure Computation This is the abstract of the paper: John Slaney and Ewing Lusk. In this paper we present a parallel algorithm for computing the closure of a set under an operation. This particular type of computation appears in a variety of disguises, and has been used in automated theorem proving, abstract algebra and formal logic. The algorithm we give here is particularly suited for shared-memory parallel computers, where it makes possible economies of space. Implementations of the algorithm in two application contexts are described and experimental results given.
Dr J K Slaney Phone (Aus.): (026) 125 8607 Theory Group Phone (Int.): +61 26 125 8607 Research School of Computer Science Fax (Aus.): (026) 125 8651 Australian National University Fax (Int.): +61 26 125 8651 Canberra, ACT, 0200, AUSTRALIA |