article · OpenGrey (Institut de l'Information Scientifique et Technique) · 1991

Performance Analysis of Competitive OR-Parallel Theorem Proving

Ertel, W., Muenchen Technische Univ. (Germany). Inst. fuer Informatik

Cited by 0Abstract and details only

Abstract

With random competition we propose a method for parallelizing arbitrary theorem provers. We can prove high efficiency (compared with other parallel theorem provers) of random competition on highly parallel architectures with thousands of processors. This method is suited for all kinds of distributed memory architectures, particularly for large networks of high performance workstations since no communication between the processors is necessary during run-time. On a set of examples we show the performance of random competition applied to the model elimination theorem prover SETHEO. Besides the speedup results for random competition our theoretical analysis gives fruitful insight in the interrelation between search-tree structure, run-time distribution and parallel performance of OR-parallel search in general.

Cite this paper

APA 7

Ertel, W., & Informatik, M. T. U. G. I. F. (1991). Performance Analysis of Competitive OR-Parallel Theorem Proving. OpenGrey (Institut de l'Information Scientifique et Technique).

MLA 9

Ertel, W., and Muenchen Technische Univ. (Germany). Inst. fuer Informatik. “Performance Analysis of Competitive OR-Parallel Theorem Proving.” OpenGrey (Institut de l'Information Scientifique et Technique), 1991.

Chicago

Ertel, W., and Muenchen Technische Univ. (Germany). Inst. fuer Informatik. 1991. “Performance Analysis of Competitive OR-Parallel Theorem Proving.” OpenGrey (Institut de l'Information Scientifique et Technique).

Harvard

Ertel, W. and Informatik, M.T.U.G.I.F. (1991) ‘Performance Analysis of Competitive OR-Parallel Theorem Proving’, OpenGrey (Institut de l'Information Scientifique et Technique).

BibTeX

@article{ertel1991performance,
  title = {{Performance Analysis of Competitive OR-Parallel Theorem Proving}},
  author = {Ertel, W. and Informatik, Muenchen Technische Univ. (Germany). Inst. fuer},
  journal = {OpenGrey (Institut de l'Information Scientifique et Technique)},
  year = {1991}
}

Made from the index record. Check names, capitalisation and page numbers against the paper. Need another style? AI for Research has over 10,000.