The procedures of the CADE-13 ATP System Competition

Geoffrey Sutcliffe, Christian Suttner

Research output: Contribution to journal › Article

11 Citations (Scopus)

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 languageEnglish (US)
Pages (from-to)163-169
Number of pages7
JournalJournal of Automated Reasoning
Volume18
Issue number2
StatePublished - 1997
Externally publishedYes

Fingerprint

Adenosinetriphosphate
Hardware
Testing

Keywords

  • Automated theorem proving
  • Competition
  • Procedures

ASJC Scopus subject areas

  • Artificial Intelligence

Cite this

The procedures of the CADE-13 ATP System Competition. / Sutcliffe, Geoffrey; Suttner, Christian.

In: Journal of Automated Reasoning, Vol. 18, No. 2, 1997, p. 163-169.

Research output: Contribution to journal › Article

Sutcliffe, G & Suttner, C 1997, 'The procedures of the CADE-13 ATP System Competition', Journal of Automated Reasoning, vol. 18, no. 2, pp. 163-169.
Sutcliffe G, Suttner C. The procedures of the CADE-13 ATP System Competition. Journal of Automated Reasoning. 1997;18(2):163-169.
Sutcliffe, Geoffrey ; Suttner, Christian. / The procedures of the CADE-13 ATP System Competition. In: Journal of Automated Reasoning. 1997 ; Vol. 18, No. 2. pp. 163-169.
@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 = "Geoffrey Sutcliffe and Christian Suttner",
year = "1997",
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, Geoffrey

AU - Suttner, Christian

PY - 1997

Y1 - 1997

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

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 -

Access to Document