The CADE-14 ATP System Competition

Christian Suttner, Geoffrey Sutcliffe

Research output: Contribution to journalArticle

19 Citations (Scopus)

Abstract

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

Original languageEnglish (US)
Pages (from-to)99-134
Number of pages36
JournalJournal of Automated Reasoning
Volume21
Issue number1
StatePublished - 1998
Externally publishedYes

Fingerprint

Adenosinetriphosphate

Keywords

  • Automated theorem proving
  • Competition

ASJC Scopus subject areas

  • Artificial Intelligence

Cite this

The CADE-14 ATP System Competition. / Suttner, Christian; Sutcliffe, Geoffrey.

In: Journal of Automated Reasoning, Vol. 21, No. 1, 1998, p. 99-134.

Research output: Contribution to journalArticle

Suttner, Christian ; Sutcliffe, Geoffrey. / The CADE-14 ATP System Competition. In: Journal of Automated Reasoning. 1998 ; Vol. 21, No. 1. pp. 99-134.
@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 Geoffrey Sutcliffe",
year = "1998",
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, Geoffrey

PY - 1998

Y1 - 1998

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

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 -