The 11th IJCAR automated theorem proving system competition – CASC-J11

Article type: Research Article

Authors: Sutcliffe, Geoff^{a; *} | Desharnais, Martin^b

Affiliations: [a] Department of Computer Science, University of Miami, USA | [b] Automation of Logic, Max Planck Institute for Informatics, Germany

Correspondence: [*] Corresponding author. E-mail: [email protected].

Abstract: The CADE ATP System Competition (CASC) is the annual evaluation of fully automatic, classical logic, Automated Theorem Proving (ATP) systems. CASC-J11 was the twenty-seventh competition in the CASC series. Twenty-four 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

DOI: 10.3233/AIC-220244

Journal: AI Communications, vol. 36, no. 2, pp. 73-91, 2023