The Design of the CADE-16 Inductive Theorem Prover Contest

Alan Bundy, D. Hutter

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Abstract / Description of output

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 languageEnglish
Title of host publicationAutomated Deduction — CADE-16
Subtitle of host publication16th International Conference on Automated Deduction Trento, Italy, July 7–10, 1999 Proceedings
PublisherSpringer-Verlag GmbH
ISBN (Electronic)978-3-540-48660-2
ISBN (Print)978-3-540-66222-8
Publication statusPublished - 1999

Publication series

NameLecture Notes in Computer Science
PublisherSpringer Verlag
ISSN (Print)0302-9743


Dive into the research topics of 'The Design of the CADE-16 Inductive Theorem Prover Contest'. Together they form a unique fingerprint.

Cite this