The CADE-14 ATP System Competition

Christian Suttner; Geoff Sutcliffe

doi:10.1023/A:1006006930186

The CADE-14 ATP System Competition

Christian Suttner, Geoff Sutcliffe

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

19 Scopus citations

Abstract

This paper documents the design, competing systems, results, and conclusions of the CADE-14 ATP System Competition (CASC-14).

Original language	English (US)
Pages (from-to)	99-134
Number of pages	36
Journal	Journal of Automated Reasoning
Volume	21
Issue number	1
DOIs	https://doi.org/10.1023/A:1006006930186
State	Published - Jan 1 1998
Externally published	Yes

Keywords

Automated theorem proving
Competition

ASJC Scopus subject areas

Software
Computational Theory and Mathematics
Artificial Intelligence

Access to Document

10.1023/A:1006006930186

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

Cite this

@article{a73a7953347643ae867f1db288c6c288,

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

abstract = "This paper documents the design, competing systems, results, and conclusions of the CADE-14 ATP System Competition (CASC-14).",

keywords = "Automated theorem proving, Competition",

author = "Christian Suttner and Geoff Sutcliffe",

year = "1998",

month = jan,

day = "1",

doi = "10.1023/A:1006006930186",

language = "English (US)",

volume = "21",

pages = "99--134",

journal = "Journal of Automated Reasoning",

issn = "0168-7433",

publisher = "Springer Netherlands",

number = "1",

}

TY - JOUR

T1 - The CADE-14 ATP System Competition

AU - Suttner, Christian

AU - Sutcliffe, Geoff

PY - 1998/1/1

Y1 - 1998/1/1

N2 - This paper documents the design, competing systems, results, and conclusions of the CADE-14 ATP System Competition (CASC-14).

AB - This paper documents the design, competing systems, results, and conclusions of the CADE-14 ATP System Competition (CASC-14).

KW - Automated theorem proving

KW - Competition

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

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

U2 - 10.1023/A:1006006930186

DO - 10.1023/A:1006006930186

M3 - Article

AN - SCOPUS:0032143259

VL - 21

SP - 99

EP - 134

JO - Journal of Automated Reasoning

JF - Journal of Automated Reasoning

SN - 0168-7433

IS - 1

ER -