The CADE-14 ATP System Competition

Christian Suttner, Geoffrey 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
StatePublished - 1998
Externally publishedYes

    Fingerprint

Keywords

  • Automated theorem proving
  • Competition

ASJC Scopus subject areas

  • Artificial Intelligence

Cite this