The CADE-28 Automated Theorem Proving System Competition - CASC-28

Geoff Sutcliffe; Martin Desharnais

doi:10.3233/AIC-210235

The CADE-28 Automated Theorem Proving System Competition - CASC-28

Research output: Contribution to journal › Article › peer-review

Abstract

The CADE ATP System Competition (CASC) is the annual evaluation of fully automatic, classical logic Automated Theorem Proving (ATP) systems. CASC-28 was the twenty-sixth competition in the CASC series. Twenty-two ATP systems competed in the various competition divisions. This paper presents an outline of the competition design and a commentated summary of the results.

Original language	English (US)
Pages (from-to)	259-276
Number of pages	18
Journal	AI Communications
Volume	34
Issue number	4
DOIs	https://doi.org/10.3233/AIC-210235
State	Published - 2021
Externally published	Yes

Keywords

Automated theorem proving
Competition

ASJC Scopus subject areas

Artificial Intelligence

Access to Document

10.3233/AIC-210235

Cite this

@article{02fb7dea45b644d9ab3df852f3f5c39d,

title = "The CADE-28 Automated Theorem Proving System Competition - CASC-28",

abstract = "The CADE ATP System Competition (CASC) is the annual evaluation of fully automatic, classical logic Automated Theorem Proving (ATP) systems. CASC-28 was the twenty-sixth competition in the CASC series. Twenty-two ATP systems competed in the various competition divisions. This paper presents an outline of the competition design and a commentated summary of the results. ",

keywords = "Automated theorem proving, Competition",

author = "Geoff Sutcliffe and Martin Desharnais",

note = "Funding Information: This material is based upon work supported by the National Science Foundation under Grant No. 1730419. Publisher Copyright: {\textcopyright} 2021 - IOS Press. All rights reserved.",

year = "2021",

doi = "10.3233/AIC-210235",

language = "English (US)",

volume = "34",

pages = "259--276",

journal = "AI Communications",

issn = "0921-7126",

publisher = "IOS Press",

number = "4",

}

TY - JOUR

T1 - The CADE-28 Automated Theorem Proving System Competition - CASC-28

AU - Sutcliffe, Geoff

AU - Desharnais, Martin

PY - 2021

Y1 - 2021

N2 - The CADE ATP System Competition (CASC) is the annual evaluation of fully automatic, classical logic Automated Theorem Proving (ATP) systems. CASC-28 was the twenty-sixth competition in the CASC series. Twenty-two ATP systems competed in the various competition divisions. This paper presents an outline of the competition design and a commentated summary of the results.

AB - The CADE ATP System Competition (CASC) is the annual evaluation of fully automatic, classical logic Automated Theorem Proving (ATP) systems. CASC-28 was the twenty-sixth competition in the CASC series. Twenty-two ATP systems competed in the various competition divisions. This paper presents an outline of the competition design and a commentated summary of the results.

KW - Automated theorem proving

KW - Competition

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

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

U2 - 10.3233/AIC-210235

DO - 10.3233/AIC-210235

M3 - Article

AN - SCOPUS:85127406183

VL - 34

SP - 259

EP - 276

JO - AI Communications

JF - AI Communications

SN - 0921-7126

IS - 4

ER -

The CADE-28 Automated Theorem Proving System Competition - CASC-28

Abstract

Keywords

ASJC Scopus subject areas

Access to Document

Other files and links

Fingerprint

Cite this