User: Guest  Login
Title:

Cooperative Parallel Automated Theorem Proving

Document type:
Technical Report
Author(s):
Andreas Wolf; Marc Fuchs
Abstract:
Automated Theorem Proving can be interpreted as the solution of search problems which comprise huge search spaces. Parallelization of the proof task as well as cooperation between the involved provers offer the possibility to develop more efficient search procedures. In this paper we want to investigate concepts for the development of cooperative parallel theorem provers. We deal with architectural questions as well as with possibilities of how to realize cooperation. Particularly, we discuss re...     »
Keywords:
Automated Theorem Proving; Cooperation; Parallelism
Year:
1997
Year / month:
1997-06-01 00:00:00
Pages:
23
 BibTeX