The IJCAR ATP system competition

G. Sutcliffe; C. B. Suttner; F. J. Pelletier

doi:10.1023/A:1015736313131

The IJCAR ATP system competition

G. Sutcliffe, C. B. Suttner, F. J. Pelletier

Computer Science

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

10 Scopus citations

Abstract

The IJCAR ATP System Competition (CASC-JC) was the sixth large-scale competition for first-order ATP systems. As such, a positive aspect of CASC-JC was shown by the level of enthusiasm and interest from both entrants and observers. The entrants made significant efforts to meet the requirements imposed by the competition design, and as a result the system were more robust and usable than in the past.

Original language	English (US)
Pages (from-to)	307-320
Number of pages	14
Journal	Journal of Automated Reasoning
Volume	28
Issue number	3
DOIs	https://doi.org/10.1023/A:1015736313131
State	Published - Apr 1 2002

ASJC Scopus subject areas

Software
Computational Theory and Mathematics
Artificial Intelligence

Access to Document

10.1023/A:1015736313131

Fingerprint Dive into the research topics of 'The IJCAR ATP system competition'. Together they form a unique fingerprint.

Cite this

@article{754e9f66571640aaa557b05bcf0e347b,

title = "The IJCAR ATP system competition",

abstract = "The IJCAR ATP System Competition (CASC-JC) was the sixth large-scale competition for first-order ATP systems. As such, a positive aspect of CASC-JC was shown by the level of enthusiasm and interest from both entrants and observers. The entrants made significant efforts to meet the requirements imposed by the competition design, and as a result the system were more robust and usable than in the past.",

author = "G. Sutcliffe and Suttner, {C. B.} and Pelletier, {F. J.}",

year = "2002",

month = apr,

day = "1",

doi = "10.1023/A:1015736313131",

language = "English (US)",

volume = "28",

pages = "307--320",

journal = "Journal of Automated Reasoning",

issn = "0168-7433",

publisher = "Springer Netherlands",

number = "3",

}

TY - JOUR

T1 - The IJCAR ATP system competition

AU - Sutcliffe, G.

AU - Suttner, C. B.

AU - Pelletier, F. J.

PY - 2002/4/1

Y1 - 2002/4/1

N2 - The IJCAR ATP System Competition (CASC-JC) was the sixth large-scale competition for first-order ATP systems. As such, a positive aspect of CASC-JC was shown by the level of enthusiasm and interest from both entrants and observers. The entrants made significant efforts to meet the requirements imposed by the competition design, and as a result the system were more robust and usable than in the past.

AB - The IJCAR ATP System Competition (CASC-JC) was the sixth large-scale competition for first-order ATP systems. As such, a positive aspect of CASC-JC was shown by the level of enthusiasm and interest from both entrants and observers. The entrants made significant efforts to meet the requirements imposed by the competition design, and as a result the system were more robust and usable than in the past.

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

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

U2 - 10.1023/A:1015736313131

DO - 10.1023/A:1015736313131

M3 - Article

AN - SCOPUS:0036544339

VL - 28

SP - 307

EP - 320

JO - Journal of Automated Reasoning

JF - Journal of Automated Reasoning

SN - 0168-7433

IS - 3

ER -

The IJCAR ATP system competition

Abstract

ASJC Scopus subject areas

Access to Document

Other files and links

Cite this