Edinburgh Research Explorer

The Design of the CADE-16 Inductive Theorem Prover Contest

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

Related Edinburgh Organisations

Documents

http://www.springerlink.com/content/crmd2myd4hwatx76/
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
Pages374-377
ISBN (Electronic)978-3-540-48660-2
ISBN (Print)978-3-540-66222-8
DOIs
StatePublished - 1999

Publication series

NameLecture Notes in Computer Science
PublisherSpringer Verlag
Volume1632
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