Preview
Unable to display preview. Download preview PDF.
References
S. E. Conry et al., DARES: A Distributed Automated Reasoning System. Proc. AAAI-90, pp. 78–85, 1990.
J. Denzinger. Knowledge-based distributed search using teamwork. ICMAS-95, AAAI-Press, pp. 81–88, 1995.
D. Fuchs. Coupling Saturation-Based Provers by Exchanging Positive/Negative Information. Proc. RTA-98, LNCS 1379, Springer, pp. 317–331, 1998.
M. Fuchs. Similarity-Based Lemma Generation for Model Elimination. Proc. FTP-97 Workshop, RISC-Linz Report Series No. 97-50, pp. 63–67, 1997.
M. Moser et al.. SETHEO and E-SETHEO. The CADE-13 Systems. JAR, 18(2), pp. 237–246, 1997.
J. Schumann. DELTA — A Bottom-Up Preprocessor for Top-Down Theorem Provers. Proc. CADE-12, Springer, pp. 774–777, 1994.
G. Sutcliffe et al. The TPTP Problem Library. Proc. CADE-12, Springer, pp. 252–266, 1994.
C. Suttner, J. Schumann. Parallel Automated Theorem Proving. PPAI, Elsevier, pp. 209–257, 1993.
A. Wolf, M. Fuchs. Cooperative Parallel Automated Theorem Proving. Dynamic Load Distribution for Parallel Applications, Teubner, pp. 129–145, 1997.
A. Wolf, R. Letz. Strategy Parallelism in Automated Theorem Proving. Proc. FLAIRS-98 (to appear), 1998.
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1998 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Fuchs, M., Wolf, A. (1998). System description: Cooperation in model elimination: CPTHEO. In: Kirchner, C., Kirchner, H. (eds) Automated Deduction — CADE-15. CADE 1998. Lecture Notes in Computer Science, vol 1421. Springer, Berlin, Heidelberg. https://doi.org/10.1007/BFb0054245
Download citation
DOI: https://doi.org/10.1007/BFb0054245
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-64675-4
Online ISBN: 978-3-540-69110-5
eBook Packages: Springer Book Archive