The CADE-27 Automated theorem proving System Competition - CASC-27

Research output: Contribution to journalArticle

1 Scopus citations


The CADE ATP System Competition (CASC) is the annual evaluation of fully automatic, classical logic Automated Theorem Proving (ATP) systems. CASC-27 was the twenty-fourth competition in the CASC series. Twenty-five ATP systems and system variants competed in the various competition divisions. This paper presents an outline of the competition design, and a commentated summary of the results.

Original languageEnglish (US)
Pages (from-to)373-389
Number of pages17
JournalAI Communications
Issue number5-6
StatePublished - 2020
Externally publishedYes


  • Automated theorem proving
  • competition

ASJC Scopus subject areas

  • Artificial Intelligence

Fingerprint Dive into the research topics of 'The CADE-27 Automated theorem proving System Competition - CASC-27'. Together they form a unique fingerprint.

  • Cite this