The procedures of the CADE-13 ATP System Competition

Geoff Sutcliffe; Christian Suttner

doi:10.1023/A:1005858625038

The procedures of the CADE-13 ATP System Competition

Geoff Sutcliffe, Christian Suttner

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

11 Scopus citations

Abstract

This article describes the practical procedures that were used to run the CADE-13 ATP System Competition. The article describes the hardware and software environments, the system installation, the soundness testing performed, the preparation of problems for the competition, the choice of the number of problems and the time limit, and the execution of the systems.

Original language	English (US)
Pages (from-to)	163-169
Number of pages	7
Journal	Journal of Automated Reasoning
Volume	18
Issue number	2
DOIs	https://doi.org/10.1023/A:1005858625038
State	Published - Jan 1 1997
Externally published	Yes

Keywords

Automated theorem proving
Competition
Procedures

ASJC Scopus subject areas

Software
Computational Theory and Mathematics
Artificial Intelligence

Access to Document

10.1023/A:1005858625038

Cite this

@article{d084fb2bd4e64fa5bf018654dfc54236,

title = "The procedures of the CADE-13 ATP System Competition",

abstract = "This article describes the practical procedures that were used to run the CADE-13 ATP System Competition. The article describes the hardware and software environments, the system installation, the soundness testing performed, the preparation of problems for the competition, the choice of the number of problems and the time limit, and the execution of the systems.",

keywords = "Automated theorem proving, Competition, Procedures",

author = "Geoff Sutcliffe and Christian Suttner",

year = "1997",

month = jan,

day = "1",

doi = "10.1023/A:1005858625038",

language = "English (US)",

volume = "18",

pages = "163--169",

journal = "Journal of Automated Reasoning",

issn = "0168-7433",

publisher = "Springer Netherlands",

number = "2",

}

TY - JOUR

T1 - The procedures of the CADE-13 ATP System Competition

AU - Sutcliffe, Geoff

AU - Suttner, Christian

PY - 1997/1/1

Y1 - 1997/1/1

N2 - This article describes the practical procedures that were used to run the CADE-13 ATP System Competition. The article describes the hardware and software environments, the system installation, the soundness testing performed, the preparation of problems for the competition, the choice of the number of problems and the time limit, and the execution of the systems.

AB - This article describes the practical procedures that were used to run the CADE-13 ATP System Competition. The article describes the hardware and software environments, the system installation, the soundness testing performed, the preparation of problems for the competition, the choice of the number of problems and the time limit, and the execution of the systems.

KW - Automated theorem proving

KW - Competition

KW - Procedures

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

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

U2 - 10.1023/A:1005858625038

DO - 10.1023/A:1005858625038

M3 - Article

AN - SCOPUS:0031108958

VL - 18

SP - 163

EP - 169

JO - Journal of Automated Reasoning

JF - Journal of Automated Reasoning

SN - 0168-7433

IS - 2

ER -

The procedures of the CADE-13 ATP System Competition

Abstract

Keywords

ASJC Scopus subject areas

Access to Document

Other files and links

Fingerprint

Cite this