Conclusions about the CADE-13 ATP System Competition

Francis Jeffry Pelletier, Geoff Sutcliffe, Christian Suttner

Research output: Contribution to journalArticle

2 Scopus citations

Abstract

The CADE-13 ATP System Competition was the first large-scale controlled competition for first-order ATP systems. Many people have commented on various aspects of the competition, including some suggestions for future improvement. These comments, and some discussion of them, are contained in this article. An overview of the major issues that will affect future competitions is given.

Original languageEnglish (US)
Pages (from-to)287-296
Number of pages10
JournalJournal of Automated Reasoning
Volume18
Issue number2
DOIs
StatePublished - Jan 1 1997
Externally publishedYes

    Fingerprint

Keywords

  • Automated theorem proving
  • Competition
  • Conclusions

ASJC Scopus subject areas

  • Software
  • Computational Theory and Mathematics
  • Artificial Intelligence

Cite this