The CADE-16 ATP system competition

Research output: Contribution to journalArticle

31 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

    Fingerprint

Keywords

  • Automated theorem proving
  • Competition

ASJC Scopus subject areas

  • Software
  • Computational Theory and Mathematics
  • Artificial Intelligence

Cite this