Benutzer: Gast  Login
Titel:

Cooperative Parallel Automated Theorem Proving

Dokumenttyp:
Technical Report
Autor(en):
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...     »
Stichworte:
Automated Theorem Proving; Cooperation; Parallelism
Jahr:
1997
Jahr / Monat:
1997-06-01 00:00:00
Seiten/Umfang:
23
 BibTeX