The CADE-16 ATP system competition

Research output: Contribution to journalArticle

32 Scopus citations

Abstract

The results of the CADE-16 ATP System Competition (CASC-16) are presented.

Original languageEnglish (US)
Pages (from-to)371-396
Number of pages26
JournalJournal of Automated Reasoning
Volume24
Issue number3
DOIs
StatePublished - Jan 1 2000
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-16 ATP system competition'. Together they form a unique fingerprint.

  • Cite this