The Design of the CADE-16 Inductive Theorem Prover Contest

Alan Bundy; D. Hutter

doi:10.1007/3-540-48660-7_33

The Design of the CADE-16 Inductive Theorem Prover Contest

Alan Bundy, D. Hutter

School of Informatics

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

Abstract

It has become a tradition at CADE to run a competition for first-order automated theorem provers based on the TPTP problem library. This competition (CASC) [SuSu96] aims at fully automatic ATP systems and provides various categories dedicated to diffirent problem classes of first-order logic. The number of problems solved and the runtime is used to assess the winners in the individual categories of the competition.

Original language	English
Title of host publication	Automated Deduction — CADE-16
Subtitle of host publication	16th International Conference on Automated Deduction Trento, Italy, July 7–10, 1999 Proceedings
Publisher	Springer
Pages	374-377
ISBN (Electronic)	978-3-540-48660-2
ISBN (Print)	978-3-540-66222-8
DOIs	https://doi.org/10.1007/3-540-48660-7_33
Publication status	Published - 1999

Publication series

Name	Lecture Notes in Computer Science
Publisher	Springer Verlag
Volume	1632
ISSN (Print)	0302-9743

Access to Document

10.1007/3-540-48660-7_33

The Design of the CADE-16 Inductive Theorem Prover ContestSubmitted manuscript, 150 KB

http://www.springerlink.com/content/crmd2myd4hwatx76/

Cite this

@inproceedings{7936dba5ecca486d9aa1218b961adc03,

title = "The Design of the CADE-16 Inductive Theorem Prover Contest",

abstract = "It has become a tradition at CADE to run a competition for first-order automated theorem provers based on the TPTP problem library. This competition (CASC) [SuSu96] aims at fully automatic ATP systems and provides various categories dedicated to diffirent problem classes of first-order logic. The number of problems solved and the runtime is used to assess the winners in the individual categories of the competition.",

author = "Alan Bundy and D. Hutter",

year = "1999",

doi = "10.1007/3-540-48660-7\_33",

language = "English",

isbn = "978-3-540-66222-8",

series = "Lecture Notes in Computer Science",

publisher = "Springer",

pages = "374--377",

booktitle = "Automated Deduction — CADE-16",

address = "United Kingdom",

}

The Design of the CADE-16 Inductive Theorem Prover Contest. / Bundy, Alan; Hutter, D.
Automated Deduction — CADE-16: 16th International Conference on Automated Deduction Trento, Italy, July 7–10, 1999 Proceedings. Springer, 1999. p. 374-377 (Lecture Notes in Computer Science; Vol. 1632).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

TY - GEN

T1 - The Design of the CADE-16 Inductive Theorem Prover Contest

AU - Bundy, Alan

AU - Hutter, D.

PY - 1999

Y1 - 1999

N2 - It has become a tradition at CADE to run a competition for first-order automated theorem provers based on the TPTP problem library. This competition (CASC) [SuSu96] aims at fully automatic ATP systems and provides various categories dedicated to diffirent problem classes of first-order logic. The number of problems solved and the runtime is used to assess the winners in the individual categories of the competition.

AB - It has become a tradition at CADE to run a competition for first-order automated theorem provers based on the TPTP problem library. This competition (CASC) [SuSu96] aims at fully automatic ATP systems and provides various categories dedicated to diffirent problem classes of first-order logic. The number of problems solved and the runtime is used to assess the winners in the individual categories of the competition.

U2 - 10.1007/3-540-48660-7_33

DO - 10.1007/3-540-48660-7_33

M3 - Conference contribution

SN - 978-3-540-66222-8

T3 - Lecture Notes in Computer Science

SP - 374

EP - 377

BT - Automated Deduction — CADE-16

PB - Springer

ER -

The Design of the CADE-16 Inductive Theorem Prover Contest

Abstract

Publication series

Access to Document

Fingerprint

Cite this