Parallelizing the Closure Computation in Automated Deduction

TitleParallelizing the Closure Computation in Automated Deduction
Publication TypeJournal Article
Year of Publication1990
AuthorsSlaney, J, Lusk, EL
Date Published01/1990
Other NumbersANL/MCS-P123-0190
Abstract

<p>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.</p>

PDFhttp://www.mcs.anl.gov/papers/lusk-parallelizing.pdf