The CADE-19 ATP system competition

Geoff Sutcliffe, Christian Suttner

Research output: Contribution to journalArticlepeer-review

4 Scopus citations


The CADE ATP System Competition (CASC) is an annual evaluation of fully automatic, first order Automated Theorem Proving (ATP) systems. CASC-19 was the eighth competition in the CASC series. Twenty-five ATP system variants competed in the various competition and demonstration divisions. An outline of the design and a commentated summary of the results are presented.

Original languageEnglish (US)
Pages (from-to)103-110
Number of pages8
JournalAI Communications
Issue number3
StatePublished - Dec 1 2004


  • Automated theorem proving
  • Competition

ASJC Scopus subject areas

  • Artificial Intelligence


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

Cite this