The design of the CADE-13 ATP system competition

Christian B. Suttner, Geoff Sutcliffe

Research output: Chapter in Book/Report/Conference proceedingConference contribution

3 Scopus citations

Abstract

Running a competition for Automated Theorem Proving (ATP) systems is a difficult and arguable venture. However, the potential benefits of such an event by far outweigh the controversial aspects. The motivations for running the CADE-13 ATP system competition are to contribute to the evaluation of ATP systems, to stimulate ATP research and system development, and to expose ATP systems to interested researchers both within and outside the ATP community. This paper identifies and discusses the issues that determine the nature of the competition. Choices and motivated decisions, with respect to the issues, are given.

Original languageEnglish (US)
Title of host publicationAutomated Deduction – Cade-13 - 13th International Conference on Automated Deduction, Proceedings
EditorsJohn K. Slaney, Michael A. McRobbie
PublisherSpringer Verlag
Pages146-160
Number of pages15
ISBN (Print)3540615113, 9783540615118
DOIs
StatePublished - Jan 1 1996
Externally publishedYes
Event13th International Conference on Automated Deduction, CADE 1996 - New Brunswick, United States
Duration: Jul 30 1996Aug 3 1996

Publication series

NameLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume1104
ISSN (Print)0302-9743
ISSN (Electronic)1611-3349

Other

Other13th International Conference on Automated Deduction, CADE 1996
CountryUnited States
CityNew Brunswick
Period7/30/968/3/96

ASJC Scopus subject areas

  • Theoretical Computer Science
  • Computer Science(all)

Fingerprint Dive into the research topics of 'The design of the CADE-13 ATP system competition'. Together they form a unique fingerprint.

  • Cite this

    Suttner, C. B., & Sutcliffe, G. (1996). The design of the CADE-13 ATP system competition. In J. K. Slaney, & M. A. McRobbie (Eds.), Automated Deduction – Cade-13 - 13th International Conference on Automated Deduction, Proceedings (pp. 146-160). (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 1104). Springer Verlag. https://doi.org/10.1007/3-540-61511-3_76