Skip to main content
OSTI.GOVU.S. Department of Energy Office of Scientific and Technical Information
U.S. Department of Energy
Office of Scientific and Technical Information
 

Roo: A parallel theorem prover

Technical Report ·
DOI:https://doi.org/10.2172/5796402· OSTI ID:5796402
; ;
We describe a parallel theorem prover based on the Argonne theorem-proving system OTTER. The parallel system, called Roo, runs on shared-memory multiprocessors such as the Sequent Symmetry. We explain the parallel algorithm used and give performance results that demonstrate near-linear speedups on large problems.
Research Organization:
Argonne National Lab., IL (United States). Mathematics and Computer Science Div.
Sponsoring Organization:
DOE; USDOE, Washington, DC (United States)
DOE Contract Number:
W-31109-ENG-38
OSTI ID:
5796402
Report Number(s):
ANL/MCS-TM-149; ON: DE92003232
Country of Publication:
United States
Language:
English

Similar Records

Roo: A parallel theorem prover
Technical Report · Thu Oct 31 23:00:00 EST 1991 · OSTI ID:10119982
An entry in the 1992 Overbeek theorem-proving contest
Technical Report · Sat Oct 31 23:00:00 EST 1992 · OSTI ID:10114594
An entry in the 1992 Overbeek theorem-proving contest
Technical Report · Sat Oct 31 23:00:00 EST 1992 · OSTI ID:6940861

Related Subjects

99 GENERAL AND MISCELLANEOUS
990200* -- Mathematics & Computers
ALGORITHMS
ARRAY PROCESSORS
COMPUTER CODES
MATHEMATICAL LOGIC
MEMORY MANAGEMENT
PARALLEL PROCESSING
PERFORMANCE
PROGRAMMING
R CODES