The CADE-26 automated theorem proving system competition-CASC-26

Research output: Contribution to journalArticle

4 Citations (Scopus)

Abstract

The CADE ATP System Competition (CASC) is the annual evaluation of fully automatic, classical logic Automated Theorem Proving (ATP) systems. CASC-26 was the twenty-second competition in the CASC series. Twenty-one ATP systems and system variants competed in the various competition divisions. An outline of the competition design, and a commentated summary of the results, are presented.

Original languageEnglish (US)
Pages (from-to)419-432
Number of pages14
JournalAI Communications
Volume30
Issue number6
DOIs
StatePublished - Jan 1 2017

Fingerprint

Theorem proving
Adenosinetriphosphate

Keywords

  • Automated theorem proving
  • competition

ASJC Scopus subject areas

  • Artificial Intelligence

Cite this

The CADE-26 automated theorem proving system competition-CASC-26. / Sutcliffe, Geoffrey.

In: AI Communications, Vol. 30, No. 6, 01.01.2017, p. 419-432.

Research output: Contribution to journalArticle

@article{15415a667636483ea23defe5c521c6b0,
title = "The CADE-26 automated theorem proving system competition-CASC-26",
abstract = "The CADE ATP System Competition (CASC) is the annual evaluation of fully automatic, classical logic Automated Theorem Proving (ATP) systems. CASC-26 was the twenty-second competition in the CASC series. Twenty-one ATP systems and system variants competed in the various competition 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 = "2017",
month = "1",
day = "1",
doi = "10.3233/AIC-170744",
language = "English (US)",
volume = "30",
pages = "419--432",
journal = "AI Communications",
issn = "0921-7126",
publisher = "IOS Press",
number = "6",

}

TY - JOUR

T1 - The CADE-26 automated theorem proving system competition-CASC-26

AU - Sutcliffe, Geoffrey

PY - 2017/1/1

Y1 - 2017/1/1

N2 - The CADE ATP System Competition (CASC) is the annual evaluation of fully automatic, classical logic Automated Theorem Proving (ATP) systems. CASC-26 was the twenty-second competition in the CASC series. Twenty-one ATP systems and system variants competed in the various competition divisions. An outline of the competition design, and a commentated summary of the results, are presented.

AB - The CADE ATP System Competition (CASC) is the annual evaluation of fully automatic, classical logic Automated Theorem Proving (ATP) systems. CASC-26 was the twenty-second competition in the CASC series. Twenty-one ATP systems and system variants competed in the various competition 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=85037051058&partnerID=8YFLogxK

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

U2 - 10.3233/AIC-170744

DO - 10.3233/AIC-170744

M3 - Article

AN - SCOPUS:85037051058

VL - 30

SP - 419

EP - 432

JO - AI Communications

JF - AI Communications

SN - 0921-7126

IS - 6

ER -