The CADE-14 ATP System Competition

Christian Suttner, Geoff Sutcliffe

Research output: Contribution to journalArticle

19 Scopus citations

Abstract

This paper documents the design, competing systems, results, and conclusions of the CADE-14 ATP System Competition (CASC-14).

Original languageEnglish (US)
Pages (from-to)99-134
Number of pages36
JournalJournal of Automated Reasoning
Volume21
Issue number1
DOIs
StatePublished - Jan 1 1998
Externally publishedYes

Keywords

  • Automated theorem proving
  • Competition

ASJC Scopus subject areas

  • Software
  • Computational Theory and Mathematics
  • Artificial Intelligence

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

  • Cite this