Conclusions about the CADE-13 ATP System Competition

Francis Jeffry Pelletier, Geoff Sutcliffe, Christian Suttner

Research output: Contribution to journalArticlepeer-review

2 Scopus citations


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
Issue number2
StatePublished - 1997
Externally publishedYes


  • Automated theorem proving
  • Competition
  • Conclusions

ASJC Scopus subject areas

  • Software
  • Computational Theory and Mathematics
  • Artificial Intelligence


Dive into the research topics of 'Conclusions about the CADE-13 ATP System Competition'. Together they form a unique fingerprint.

Cite this