Performance analysis of a parallel theorem prover

• Authors:

• Manfred R. Jobmann;Johann Schumann

• Affiliations:

• Institut fur Informatik der Technischen Universitat Munchen, Arcisstr. 21, 8000 Miinchen 2;Institut fur Informatik der Technischen Universitat Munchen, Arcisstr. 21, 8000 Miinchen 2

• Venue:
• SIGMETRICS '92/PERFORMANCE '92 Proceedings of the 1992 ACM SIGMETRICS joint international conference on Measurement and modeling of computer systems
• Year:
• 1992