The procedures of the CADE-13 ATP System Competition

Geoff Sutcliffe, Christian Suttner

Research output: Contribution to journalArticle

11 Scopus citations

Abstract

This article describes the practical procedures that were used to run the CADE-13 ATP System Competition. The article describes the hardware and software environments, the system installation, the soundness testing performed, the preparation of problems for the competition, the choice of the number of problems and the time limit, and the execution of the systems.

Original languageEnglish (US)
Pages (from-to)163-169
Number of pages7
JournalJournal of Automated Reasoning
Volume18
Issue number2
DOIs
StatePublished - Jan 1 1997
Externally publishedYes

Keywords

  • Automated theorem proving
  • Competition
  • Procedures

ASJC Scopus subject areas

  • Software
  • Computational Theory and Mathematics
  • Artificial Intelligence

Fingerprint Dive into the research topics of 'The procedures of the CADE-13 ATP System Competition'. Together they form a unique fingerprint.

  • Cite this