The CADE-17 ATP system competition

Research output: Contribution to journalArticle

7 Citations (Scopus)

Abstract

A competition for evaluating the performance of automated theorem proving (ATP) systems was held in Pennsylvania. The evaluation was done on the basis of number of problems solved and average runtime for successful solutions. Improvement of the system design by introducing a semantic division and an installation package were reported inefficient. The competition helped in evaluating relative capabilities of ATP systems, stimulation of research and improvement of implementations.

Original languageEnglish (US)
Pages (from-to)227-250
Number of pages24
JournalJournal of Automated Reasoning
Volume27
Issue number3
DOIs
StatePublished - Oct 2001
Externally publishedYes

Fingerprint

Theorem proving
Semantics
Systems analysis

Keywords

  • Automated theorem proving
  • Competition

ASJC Scopus subject areas

  • Artificial Intelligence

Cite this

The CADE-17 ATP system competition. / Sutcliffe, Geoffrey.

In: Journal of Automated Reasoning, Vol. 27, No. 3, 10.2001, p. 227-250.

Research output: Contribution to journalArticle

@article{fa5b3d3d26db46e1993ff6bdfc135022,
title = "The CADE-17 ATP system competition",
abstract = "A competition for evaluating the performance of automated theorem proving (ATP) systems was held in Pennsylvania. The evaluation was done on the basis of number of problems solved and average runtime for successful solutions. Improvement of the system design by introducing a semantic division and an installation package were reported inefficient. The competition helped in evaluating relative capabilities of ATP systems, stimulation of research and improvement of implementations.",
keywords = "Automated theorem proving, Competition",
author = "Geoffrey Sutcliffe",
year = "2001",
month = "10",
doi = "10.1023/A:1017517027537",
language = "English (US)",
volume = "27",
pages = "227--250",
journal = "Journal of Automated Reasoning",
issn = "0168-7433",
publisher = "Springer Netherlands",
number = "3",

}

TY - JOUR

T1 - The CADE-17 ATP system competition

AU - Sutcliffe, Geoffrey

PY - 2001/10

Y1 - 2001/10

N2 - A competition for evaluating the performance of automated theorem proving (ATP) systems was held in Pennsylvania. The evaluation was done on the basis of number of problems solved and average runtime for successful solutions. Improvement of the system design by introducing a semantic division and an installation package were reported inefficient. The competition helped in evaluating relative capabilities of ATP systems, stimulation of research and improvement of implementations.

AB - A competition for evaluating the performance of automated theorem proving (ATP) systems was held in Pennsylvania. The evaluation was done on the basis of number of problems solved and average runtime for successful solutions. Improvement of the system design by introducing a semantic division and an installation package were reported inefficient. The competition helped in evaluating relative capabilities of ATP systems, stimulation of research and improvement of implementations.

KW - Automated theorem proving

KW - Competition

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

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

U2 - 10.1023/A:1017517027537

DO - 10.1023/A:1017517027537

M3 - Article

AN - SCOPUS:0035478906

VL - 27

SP - 227

EP - 250

JO - Journal of Automated Reasoning

JF - Journal of Automated Reasoning

SN - 0168-7433

IS - 3

ER -