The CADE-17 ATP system competition

Research output: Contribution to journalArticlepeer-review

7 Scopus citations


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
Issue number3
StatePublished - Oct 2001
Externally publishedYes


  • Automated theorem proving
  • Competition

ASJC Scopus subject areas

  • Software
  • Computational Theory and Mathematics
  • Artificial Intelligence


Dive into the research topics of 'The CADE-17 ATP system competition'. Together they form a unique fingerprint.

Cite this