The state of CASC

Geoff Sutcliffe, Christian Suttner

Research output: Contribution to journalArticle

77 Scopus citations

Abstract

The CADE ATP System Competition (CASC) is an annual evaluation of fully automatic, first order Automated Theorem Proving systems - the world championship for such systems. This paper captures the state of CASC after CASC-20, the tenth CASC, held in 2005. It provides a summarized history of CASC, details of the current design of the competition, observations and discussion of the effects of CASC on ATP, lessons learnt during CASC, and remarks regarding the past, present, and future of CASC.

Original languageEnglish (US)
Pages (from-to)35-48
Number of pages14
JournalAI Communications
Volume19
Issue number1
StatePublished - Mar 13 2006

Keywords

  • Automated theorem proving
  • Competition

ASJC Scopus subject areas

  • Artificial Intelligence

Fingerprint Dive into the research topics of 'The state of CASC'. Together they form a unique fingerprint.

  • Cite this

    Sutcliffe, G., & Suttner, C. (2006). The state of CASC. AI Communications, 19(1), 35-48.