The CADE-14 ATP System Competition

Christian Suttner, Geoff Sutcliffe

Research output: Contribution to journalArticlepeer-review

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