CADE-15 ATP system competition

Geoffrey Sutcliffe, C. B. Suttner

Research output: Contribution to journalArticle

13 Citations (Scopus)

Abstract

The CADE-15 ATP System Competition (CASC-15) held on July 7,1998 as part of CADE-15 in Lindau, Germany was the third CADE automated theorem proving (ATP) system competition. CASC-15 evaluated the performance of sound, fully automatic first-order ATP systems in terms of the number of problems solved and the average runtime for successful solutions, in the context of a bounded number of eligible problems chosen from the TPTP Problem Library (SS98c) and a specified time limit for each solution attempt. Fourteen ATP systems competed in the various competition and demonstration divisions.

Original languageEnglish (US)
Pages (from-to)1-23
Number of pages23
JournalJournal of Automated Reasoning
Volume23
Issue number1
DOIs
StatePublished - 1999
Externally publishedYes

Fingerprint

Theorem proving
Demonstrations
Acoustic waves

ASJC Scopus subject areas

  • Artificial Intelligence

Cite this

CADE-15 ATP system competition. / Sutcliffe, Geoffrey; Suttner, C. B.

In: Journal of Automated Reasoning, Vol. 23, No. 1, 1999, p. 1-23.

Research output: Contribution to journalArticle

Sutcliffe, Geoffrey ; Suttner, C. B. / CADE-15 ATP system competition. In: Journal of Automated Reasoning. 1999 ; Vol. 23, No. 1. pp. 1-23.
@article{03c8d802f1954cd8be71c2b6067e92a1,
title = "CADE-15 ATP system competition",
abstract = "The CADE-15 ATP System Competition (CASC-15) held on July 7,1998 as part of CADE-15 in Lindau, Germany was the third CADE automated theorem proving (ATP) system competition. CASC-15 evaluated the performance of sound, fully automatic first-order ATP systems in terms of the number of problems solved and the average runtime for successful solutions, in the context of a bounded number of eligible problems chosen from the TPTP Problem Library (SS98c) and a specified time limit for each solution attempt. Fourteen ATP systems competed in the various competition and demonstration divisions.",
author = "Geoffrey Sutcliffe and Suttner, {C. B.}",
year = "1999",
doi = "10.1023/A:1006285423991",
language = "English (US)",
volume = "23",
pages = "1--23",
journal = "Journal of Automated Reasoning",
issn = "0168-7433",
publisher = "Springer Netherlands",
number = "1",

}

TY - JOUR

T1 - CADE-15 ATP system competition

AU - Sutcliffe, Geoffrey

AU - Suttner, C. B.

PY - 1999

Y1 - 1999

N2 - The CADE-15 ATP System Competition (CASC-15) held on July 7,1998 as part of CADE-15 in Lindau, Germany was the third CADE automated theorem proving (ATP) system competition. CASC-15 evaluated the performance of sound, fully automatic first-order ATP systems in terms of the number of problems solved and the average runtime for successful solutions, in the context of a bounded number of eligible problems chosen from the TPTP Problem Library (SS98c) and a specified time limit for each solution attempt. Fourteen ATP systems competed in the various competition and demonstration divisions.

AB - The CADE-15 ATP System Competition (CASC-15) held on July 7,1998 as part of CADE-15 in Lindau, Germany was the third CADE automated theorem proving (ATP) system competition. CASC-15 evaluated the performance of sound, fully automatic first-order ATP systems in terms of the number of problems solved and the average runtime for successful solutions, in the context of a bounded number of eligible problems chosen from the TPTP Problem Library (SS98c) and a specified time limit for each solution attempt. Fourteen ATP systems competed in the various competition and demonstration divisions.

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

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

U2 - 10.1023/A:1006285423991

DO - 10.1023/A:1006285423991

M3 - Article

AN - SCOPUS:0032653951

VL - 23

SP - 1

EP - 23

JO - Journal of Automated Reasoning

JF - Journal of Automated Reasoning

SN - 0168-7433

IS - 1

ER -