The CADE-21 automated theorem proving system competition

Research output: Contribution to journalArticle

10 Citations (Scopus)

Abstract

The CADE ATP system competition (CASC) is an annual evaluation of fully automatic, first order Automated Theorem Proving (ATP) systems. CASC-21 was the twelfth competition in the CASC series. Twenty 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)71-81
Number of pages11
JournalAI Communications
Volume21
Issue number1
StatePublished - 2008

Fingerprint

Theorem proving
Adenosinetriphosphate
Demonstrations

Keywords

  • Automated theorem proving
  • Competition

ASJC Scopus subject areas

  • Control and Systems Engineering
  • Artificial Intelligence

Cite this

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

In: AI Communications, Vol. 21, No. 1, 2008, p. 71-81.

Research output: Contribution to journalArticle

@article{cf03a502224245d2aa5b4961fa802e1b,
title = "The CADE-21 automated theorem proving system competition",
abstract = "The CADE ATP system competition (CASC) is an annual evaluation of fully automatic, first order Automated Theorem Proving (ATP) systems. CASC-21 was the twelfth competition in the CASC series. Twenty 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 = "2008",
language = "English (US)",
volume = "21",
pages = "71--81",
journal = "AI Communications",
issn = "0921-7126",
publisher = "IOS Press",
number = "1",

}

TY - JOUR

T1 - The CADE-21 automated theorem proving system competition

AU - Sutcliffe, Geoffrey

PY - 2008

Y1 - 2008

N2 - The CADE ATP system competition (CASC) is an annual evaluation of fully automatic, first order Automated Theorem Proving (ATP) systems. CASC-21 was the twelfth competition in the CASC series. Twenty 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 (ATP) systems. CASC-21 was the twelfth competition in the CASC series. Twenty 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=40549092686&partnerID=8YFLogxK

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

M3 - Article

AN - SCOPUS:40549092686

VL - 21

SP - 71

EP - 81

JO - AI Communications

JF - AI Communications

SN - 0921-7126

IS - 1

ER -