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

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

Export citation
[ RIS ]
[ BibTeX ]

Alan Bundy
D. Hutter

Related Edinburgh Organisations

School of Informatics

Documents

Download as Adobe PDF
Submitted manuscript, 149 KB, PDF document

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

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-Verlag GmbH
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

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.

Download statistics

No data available

ID: 6321272