The 3rd IJCAR automated theorem proving competition

Research output: Contribution to journalArticle

6 Citations (Scopus)

Abstract

The CADE ATP System Competition (CASC) is an annual evaluation of fully automatic, first order Automated Theorem Proving systems. CASC-J3 was the eleventh competition in the CASC series. Twenty ATP systems and system variants competed in the various competition and demonstration divisions. An outline of the competition design, and a commentated summary of the results, are presented.

Original languageEnglish (US)
Pages (from-to)117-126
Number of pages10
JournalAI Communications
Volume20
Issue number2
StatePublished - 2007

Fingerprint

Theorem proving
Adenosinetriphosphate
Demonstrations

Keywords

  • Automated theorem proving
  • Competition

ASJC Scopus subject areas

  • Artificial Intelligence
  • Control and Systems Engineering

Cite this

The 3rd IJCAR automated theorem proving competition. / Sutcliffe, Geoffrey.

In: AI Communications, Vol. 20, No. 2, 2007, p. 117-126.

Research output: Contribution to journalArticle

@article{991edb05af734b4691798bc63629d1b3,
title = "The 3rd IJCAR automated theorem proving competition",
abstract = "The CADE ATP System Competition (CASC) is an annual evaluation of fully automatic, first order Automated Theorem Proving systems. CASC-J3 was the eleventh competition in the CASC series. Twenty ATP systems and system variants competed in the various competition and demonstration divisions. An outline of the competition design, and a commentated summary of the results, are presented.",
keywords = "Automated theorem proving, Competition",
author = "Geoffrey Sutcliffe",
year = "2007",
language = "English (US)",
volume = "20",
pages = "117--126",
journal = "AI Communications",
issn = "0921-7126",
publisher = "IOS Press",
number = "2",

}

TY - JOUR

T1 - The 3rd IJCAR automated theorem proving competition

AU - Sutcliffe, Geoffrey

PY - 2007

Y1 - 2007

N2 - The CADE ATP System Competition (CASC) is an annual evaluation of fully automatic, first order Automated Theorem Proving systems. CASC-J3 was the eleventh competition in the CASC series. Twenty ATP systems and system variants competed in the various competition and demonstration divisions. An outline of the competition design, and a commentated summary of the results, are presented.

AB - The CADE ATP System Competition (CASC) is an annual evaluation of fully automatic, first order Automated Theorem Proving systems. CASC-J3 was the eleventh competition in the CASC series. Twenty ATP systems and system variants competed in the various competition and demonstration divisions. An outline of the competition design, and a commentated summary of the results, are presented.

KW - Automated theorem proving

KW - Competition

UR - http://www.scopus.com/inward/record.url?scp=34547230270&partnerID=8YFLogxK

UR - http://www.scopus.com/inward/citedby.url?scp=34547230270&partnerID=8YFLogxK

M3 - Article

AN - SCOPUS:34547230270

VL - 20

SP - 117

EP - 126

JO - AI Communications

JF - AI Communications

SN - 0921-7126

IS - 2

ER -