The CADE-17 ATP system competition

Research output: Contribution to journalArticlepeer-review

7 Scopus citations

Abstract

A competition for evaluating the performance of automated theorem proving (ATP) systems was held in Pennsylvania. The evaluation was done on the basis of number of problems solved and average runtime for successful solutions. Improvement of the system design by introducing a semantic division and an installation package were reported inefficient. The competition helped in evaluating relative capabilities of ATP systems, stimulation of research and improvement of implementations.

Original languageEnglish (US)
Pages (from-to)227-250
Number of pages24
JournalJournal of Automated Reasoning
Volume27
Issue number3
DOIs
StatePublished - Oct 1 2001
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-17 ATP system competition'. Together they form a unique fingerprint.

Cite this