The state of CASC

Geoffrey Sutcliffe, Christian Suttner

Research output: Contribution to journalArticle

76 Citations (Scopus)

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 - 2006

Fingerprint

Adenosinetriphosphate
Theorem proving
History

Keywords

  • Automated theorem proving
  • Competition

ASJC Scopus subject areas

  • Artificial Intelligence
  • Control and Systems Engineering

Cite this

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

The state of CASC. / Sutcliffe, Geoffrey; Suttner, Christian.

In: AI Communications, Vol. 19, No. 1, 2006, p. 35-48.

Research output: Contribution to journalArticle

Sutcliffe, G & Suttner, C 2006, 'The state of CASC', AI Communications, vol. 19, no. 1, pp. 35-48.
Sutcliffe G, Suttner C. The state of CASC. AI Communications. 2006;19(1):35-48.
Sutcliffe, Geoffrey ; Suttner, Christian. / The state of CASC. In: AI Communications. 2006 ; Vol. 19, No. 1. pp. 35-48.
@article{a775a2674c90407bb53c04f43156b26c,
title = "The state of CASC",
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.",
keywords = "Automated theorem proving, Competition",
author = "Geoffrey Sutcliffe and Christian Suttner",
year = "2006",
language = "English (US)",
volume = "19",
pages = "35--48",
journal = "AI Communications",
issn = "0921-7126",
publisher = "IOS Press",
number = "1",

}

TY - JOUR

T1 - The state of CASC

AU - Sutcliffe, Geoffrey

AU - Suttner, Christian

PY - 2006

Y1 - 2006

N2 - 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.

AB - 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.

KW - Automated theorem proving

KW - Competition

UR - http://www.scopus.com/inward/record.url?scp=33644780872&partnerID=8YFLogxK

UR - http://www.scopus.com/inward/citedby.url?scp=33644780872&partnerID=8YFLogxK

M3 - Article

AN - SCOPUS:33644780872

VL - 19

SP - 35

EP - 48

JO - AI Communications

JF - AI Communications

SN - 0921-7126

IS - 1

ER -