Advertisement

Journal of Automated Reasoning

, Volume 27, Issue 3, pp 227–250 | Cite as

The CADE-17 ATP System Competition

  • G. Sutcliffe
Article

Abstract

The results of the CADE-17 ATP System Competition (CASC-17) are presented.

competition automated theorem proving 

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. Fermüller, C., Leitsch, A., Tammet, T. and Zamov, N.: Resolution Methods for the Decision Problem, Lecture Notes in Comput. Sci. 679, Springer-Verlag, 1993.Google Scholar
  2. Hillenbrand, T., Jaeger, A. and Löchner, B.: Waldmeister-improvements in performance and ease of use, in H. Ganzinger (ed.), Proceedings of the 16th International Conference on Automated Deduction, 1999, pp. 232–236.Google Scholar
  3. Moser, M., Ibens, O., Letz, R., Steinbach, J., Goller, C., Schumann, J. and Mayr, K.: SETHEO and E-SETHEO: The CADE-13 Systems, J. Automated Reasoning 18(2) (1997), 237–246.Google Scholar
  4. Riazanov, A. and Voronkov, A.: Vampire, in H. Ganzinger (ed.), Proceedings of the 16th International Conference on Automated Deduction, 1999, pp. 292–296.Google Scholar
  5. Riazanov, A. and Voronkov, A.: Even faster code trees, in G. Brewka and L. Pereira (eds.), Proceedings of the 7th European Workshop on Logics in Artificial Inteligence, 2000.Google Scholar
  6. Schulz, S.: System abstract: E 0.3, in: H. Ganzinger (ed.), Proceedings of the 16th International Conference on Automated Deduction, 1999, pp. 297–301.Google Scholar
  7. Stenz, G. and Wolf, A.: E-SETHEO: Design, configuration and use of a parallel automated theorem prover, in N. Foo (ed.), Proceedings of AI'99: The 12th Australian Joint Conference on Artificial Intelligence, 1999, pp. 231–243.Google Scholar
  8. Stickel, M.: The path indexing method for indexing terms, Technical Note 473, SRI International, Menlo Park, USA, 1989.Google Scholar
  9. Sutcliffe, G.: Proceedings of the CADE-16 ATP System Competition, Trento, Italy, 1999.Google Scholar
  10. Sutcliffe, G.: Proceedings of the CADE-17 ATP System Competition, Pittsburgh, USA, 2000a.Google Scholar
  11. Sutcliffe, G.: The CADE-16 ATP system competition, J. Automated Reasoning 24(3) (2000b), 371–396.Google Scholar
  12. Sutcliffe, G. and Seyfang, D.: Smart selective competition parallelism ATP, in K. A. and R. I. (eds.), Proceedings of the 12th Florida Artificial Intelligence Research Symposium, 1999, pp. 341–345.Google Scholar
  13. Sutcliffe, G. and Suttner, C.: Special issue: The CADE-13 ATP system competition, J. Automated Reasoning 18(2) (1997a).Google Scholar
  14. Sutcliffe, G. and Suttner, C.: The procedures of the CADE-13 ATP system competition, J. Automated Reasoning 18(2) (1997b), 163–169.Google Scholar
  15. Sutcliffe, G. and Suttner, C.: Proceedings of the CADE-15 ATP System Competition, Lindau, Germany, 1998a.Google Scholar
  16. Sutcliffe, G. and Suttner, C.: The CADE-14 ATP system competition, Technical Report 98/01, Department of Computer Science, James Cook University, Townsville, Australia, 1998b.Google Scholar
  17. Sutcliffe, G. and Suttner, C.: The TPTP problem library: CNF release v1.2.1, J. Automated Reasoning 21(2) (1998c), 177–203.Google Scholar
  18. Sutcliffe, G. and Suttner, C.: The CADE-15 ATP system competition, J. Automated Reasoning 23(1) (1999), 1–23.Google Scholar
  19. Suttner, C. and Sutcliffe, G.: The design of the CADE-13 ATP system competition, J. Automated Reasoning 18(2) (1997), 139–162.Google Scholar
  20. Suttner, C. and Sutcliffe, G.: The CADE-14 ATP system competition, J. Automated Reasoning 21(1) (1998), 99–134.Google Scholar
  21. Tammet, T.: Gandalf, J. Automated Reasoning 18(2) (1997), 199–204.Google Scholar
  22. Voronkov, A.: The anatomy of Vampire, J. Automated Reasoning 15(2) (995), 237–265.Google Scholar
  23. Weidenbach, C., Gaede, B. and Rock, G.: SPASS and FLOTTER, in M. McRobbie and J. Slaney (eds.), Proceedings of the 13th International Conference on Automated Deduction, 1996, pp. 141–145.Google Scholar
  24. Wolf, A.: p-SETHEO: Strategy parallelism in automated theorem proving, in H. de Swart (ed.), Proceedings of International Conference TABLEAUX'98: Analytic Tableaux and Related Methods, 1998, pp. 320–324.Google Scholar

Copyright information

© Kluwer Academic Publishers 2001

Authors and Affiliations

  • G. Sutcliffe
    • 1
  1. 1.School of Information TechnologyJames Cook UniversityTownsvilleAustralia

Personalised recommendations