The CADE-14 ATP System Competition

Christian Suttner, Geoff Sutcliffe

Research output: Contribution to journalArticlepeer-review

19 Scopus citations


This paper documents the design, competing systems, results, and conclusions of the CADE-14 ATP System Competition (CASC-14).

Original languageEnglish (US)
Pages (from-to)99-134
Number of pages36
JournalJournal of Automated Reasoning
Issue number1
StatePublished - Jan 1 1998
Externally publishedYes


  • Automated theorem proving
  • Competition

ASJC Scopus subject areas

  • Software
  • Computational Theory and Mathematics
  • Artificial Intelligence

Fingerprint Dive into the research topics of 'The CADE-14 ATP System Competition'. Together they form a unique fingerprint.

Cite this