The results of the CADE-13 ATP System Competition

Geoff Sutcliffe, Christian Suttner

Research output: Contribution to journalArticle

14 Scopus citations

Abstract

The CADE-13 ATP System Competition tested 18 ATP systems on 50 theorems, in five competition categories, with a time limit of 300 seconds imposed on each system run. This article records the results of the competition. Some analysis of these results is given, and interesting points are highlighted.

Original languageEnglish (US)
Pages (from-to)271-286
Number of pages16
JournalJournal of Automated Reasoning
Volume18
Issue number2
DOIs
StatePublished - Jan 1 1997
Externally publishedYes

Keywords

  • Automated theorem proving
  • Competition
  • Results

ASJC Scopus subject areas

  • Software
  • Computational Theory and Mathematics
  • Artificial Intelligence

Fingerprint Dive into the research topics of 'The results of the CADE-13 ATP System Competition'. Together they form a unique fingerprint.

  • Cite this