The CADE-20 automated theorem proving competition

Research output: Contribution to journalArticle

5 Citations (Scopus)

Abstract

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

Original languageEnglish (US)
Pages (from-to)173-181
Number of pages9
JournalAI Communications
Volume19
Issue number2
StatePublished - 2006

Fingerprint

Theorem proving
Adenosinetriphosphate
Demonstrations

Keywords

  • Automated theorem proving
  • Competition

ASJC Scopus subject areas

  • Artificial Intelligence
  • Control and Systems Engineering

Cite this

The CADE-20 automated theorem proving competition. / Sutcliffe, Geoffrey.

In: AI Communications, Vol. 19, No. 2, 2006, p. 173-181.

Research output: Contribution to journalArticle

@article{206f4c9fa3184a24b1be3605eae41200,
title = "The CADE-20 automated theorem proving competition",
abstract = "The CADE ATP System Competition (CASC) is an annual evaluation of fully automatic, first order Automated Theorem Proving systems. CASC-20 was the tenth competition in the CASC series. Seventeen ATP systems and system variants competed in the various competition and demonstration divisions. An outline of the competition design, and a commentated summary of the results, are presented.",
keywords = "Automated theorem proving, Competition",
author = "Geoffrey Sutcliffe",
year = "2006",
language = "English (US)",
volume = "19",
pages = "173--181",
journal = "AI Communications",
issn = "0921-7126",
publisher = "IOS Press",
number = "2",

}

TY - JOUR

T1 - The CADE-20 automated theorem proving competition

AU - Sutcliffe, Geoffrey

PY - 2006

Y1 - 2006

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

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

KW - Automated theorem proving

KW - Competition

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

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

M3 - Article

VL - 19

SP - 173

EP - 181

JO - AI Communications

JF - AI Communications

SN - 0921-7126

IS - 2

ER -