The CADE-18 ATP System Competition

G. Sutcliffe; C. B. Suttner

doi:10.1023/A:1027302123309

The CADE-18 ATP System Competition

G. Sutcliffe, C. B. Suttner

Computer Science

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

4 Scopus citations

Abstract

The CADE ATP System Competition (CASC) is an annual evaluation of fully automatic, first-order automated theorem-proving (ATP) systems. CASC-18 was the seventh competition in the CASC series. Twenty-four ATP system variants competed in the various competition and demonstration divisions. An outline of the design and a commentated summary of the results are presented.

Original language	English (US)
Pages (from-to)	23-32
Number of pages	10
Journal	Journal of Automated Reasoning
Volume	31
Issue number	1
DOIs	https://doi.org/10.1023/A:1027302123309
State	Published - 2003

Keywords

Automated theorem proving
Competition

ASJC Scopus subject areas

Software
Computational Theory and Mathematics
Artificial Intelligence

Access to Document

10.1023/A:1027302123309

Fingerprint Dive into the research topics of 'The CADE-18 ATP System Competition'. Together they form a unique fingerprint.

Cite this

@article{c9dc6ba426e2410d93df6f5b93e34c29,

title = "The CADE-18 ATP System Competition",

abstract = "The CADE ATP System Competition (CASC) is an annual evaluation of fully automatic, first-order automated theorem-proving (ATP) systems. CASC-18 was the seventh competition in the CASC series. Twenty-four ATP system variants competed in the various competition and demonstration divisions. An outline of the design and a commentated summary of the results are presented.",

keywords = "Automated theorem proving, Competition",

author = "G. Sutcliffe and Suttner, {C. B.}",

year = "2003",

doi = "10.1023/A:1027302123309",

language = "English (US)",

volume = "31",

pages = "23--32",

journal = "Journal of Automated Reasoning",

issn = "0168-7433",

publisher = "Springer Netherlands",

number = "1",

}

TY - JOUR

T1 - The CADE-18 ATP System Competition

AU - Sutcliffe, G.

AU - Suttner, C. B.

PY - 2003

Y1 - 2003

N2 - The CADE ATP System Competition (CASC) is an annual evaluation of fully automatic, first-order automated theorem-proving (ATP) systems. CASC-18 was the seventh competition in the CASC series. Twenty-four ATP system variants competed in the various competition and demonstration divisions. An outline of the 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-18 was the seventh competition in the CASC series. Twenty-four ATP system variants competed in the various competition and demonstration divisions. An outline of the 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=0344927101&partnerID=8YFLogxK

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

U2 - 10.1023/A:1027302123309

DO - 10.1023/A:1027302123309

M3 - Article

AN - SCOPUS:0344927101

VL - 31

SP - 23

EP - 32

JO - Journal of Automated Reasoning

JF - Journal of Automated Reasoning

SN - 0168-7433

IS - 1

ER -

The CADE-18 ATP System Competition

Abstract

Keywords

ASJC Scopus subject areas

Access to Document

Other files and links

Cite this