The CADE-22 automated theorem proving system competition - CASC-22

Geoff Sutcliffe

doi:10.3233/AIC-2010-0469

The CADE-22 automated theorem proving system competition - CASC-22

Geoff Sutcliffe

Computer Science

Research output: Contribution to journal › Article › peer-review

9 Scopus citations

Abstract

The CADE ATP System Competition (CASC) is an annual evaluation of fully automatic, classical logic Automated Theorem Proving (ATP) systems. CASC-22 was the fourteenth competition in the CASC series. Twenty-nine 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 language	English (US)
Pages (from-to)	47-59
Number of pages	13
Journal	AI Communications
Volume	23
Issue number	1
DOIs	https://doi.org/10.3233/AIC-2010-0469
State	Published - 2010

Keywords

Automated theorem proving
Competition

ASJC Scopus subject areas

Artificial Intelligence

Access to Document

10.3233/AIC-2010-0469

Fingerprint Dive into the research topics of 'The CADE-22 automated theorem proving system competition - CASC-22'. Together they form a unique fingerprint.

Cite this

@article{dae8e6895efd4d16b1ca1e201636194b,

title = "The CADE-22 automated theorem proving system competition - CASC-22",

abstract = "The CADE ATP System Competition (CASC) is an annual evaluation of fully automatic, classical logic Automated Theorem Proving (ATP) systems. CASC-22 was the fourteenth competition in the CASC series. Twenty-nine 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 = "Geoff Sutcliffe",

year = "2010",

doi = "10.3233/AIC-2010-0469",

language = "English (US)",

volume = "23",

pages = "47--59",

journal = "AI Communications",

issn = "0921-7126",

publisher = "IOS Press",

number = "1",

}

TY - JOUR

T1 - The CADE-22 automated theorem proving system competition - CASC-22

AU - Sutcliffe, Geoff

PY - 2010

Y1 - 2010

N2 - The CADE ATP System Competition (CASC) is an annual evaluation of fully automatic, classical logic Automated Theorem Proving (ATP) systems. CASC-22 was the fourteenth competition in the CASC series. Twenty-nine 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, classical logic Automated Theorem Proving (ATP) systems. CASC-22 was the fourteenth competition in the CASC series. Twenty-nine 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=76849098516&partnerID=8YFLogxK

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

U2 - 10.3233/AIC-2010-0469

DO - 10.3233/AIC-2010-0469

M3 - Article

AN - SCOPUS:76849098516

VL - 23

SP - 47

EP - 59

JO - AI Communications

JF - AI Communications

SN - 0921-7126

IS - 1

ER -

The CADE-22 automated theorem proving system competition - CASC-22

Abstract

Keywords

ASJC Scopus subject areas

Access to Document

Other files and links

Cite this