Skip to main content
SpringerLink
Log in

SiCoTHEO: Simple competitive parallel theorem provers

  • Session 3B
  • Conference paper
  • First Online:
Automated Deduction — Cade-13 (CADE 1996)

Part of the book series: Lecture Notes in Computer Science ((LNAI,volume 1104))

Included in the following conference series:

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. A. de Boor. PMake — A Tutorial. Berkeley Softworks, Berkeley, CA, January 1989.

    Google Scholar 

  2. W. Ertel. OR-Parallel Theorem Proving with Random Competition. In Proceedings of LPAR'92, pages 226–237, St. Petersburg, Russia, 1992. Springer LNAI 624.

    Google Scholar 

  3. Chr. Goller, R. Letz, K. Mayr, and J. Schumann. SETHEO V3.2: Recent Developments. In Proc. 12th Conference on Automated Deduction (CADE), pages 778–782, 1994.

    Google Scholar 

  4. R. Letz, J. Schumann, S. Bayerl, and W. Bibel. SETHEO: A High-Performance Theorem Prover. Journal of Automated Reasoning, 8(2):183–212, 1992.

    MathSciNet  Google Scholar 

  5. D. Loveland. Automated Theorem Proving: a Logical Basis. North-Holland, 1978.

    Google Scholar 

  6. J. Schumann. DELTA — A Bottom-up Preprocessor for Top-Down Theorem Provers. In Proc. 12th Conference on Automated Deduction (CADE), 1994.

    Google Scholar 

  7. J. Schumann. Adaptive backpropagation. Ar-report, Institut für Informatik, Technische Universität München, 1996. in preparation.

    Google Scholar 

  8. J. Schumann. SiCoTHEO — Simple Competitive parallel Theorem Provers based on SETHEO. In Parallel Processing for Artificial Intelligence III, Elsevier,1996.

    Google Scholar 

  9. J. Schumann and O. Ibens. Setheo user's manual. AR-report, Institut für Informatik, Technische Universität München, 1996.

    Google Scholar 

  10. G. Sutcliffe, C.B. Suttner, and T. Yemenis. The TPTP Problem Library. In Proceedings of the 12. International Conference on Automated Deduction (CADE), pages 252–266. Springer LNAI 814, 1994.

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Institut für Informatik, Technische Universität München, D-80290, München, Germany

    J. Schumann

Authors
  1. J. Schumann
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

M. A. McRobbie J. K. Slaney

Rights and permissions

Reprints and permissions

Copyright information

© 1996 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Schumann, J. (1996). SiCoTHEO: Simple competitive parallel theorem provers. In: McRobbie, M.A., Slaney, J.K. (eds) Automated Deduction — Cade-13. CADE 1996. Lecture Notes in Computer Science, vol 1104. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-61511-3_87

Download citation

  • DOI: https://doi.org/10.1007/3-540-61511-3_87

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-61511-8

  • Online ISBN: 978-3-540-68687-3

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation