The CADE-27 Automated theorem proving System Competition – CASC-27
Geoff Sutcliffe
Abstract
The CADE ATP System Competition (CASC) is the annual evaluation of fully automatic, classical logic Automated Theorem Proving (ATP) systems. CASC-27 was the twenty-fourth competition in the CASC series. Twenty-five ATP systems and system variants competed in the various competition divisions. This paper presents an outline of the competition design, and a commentated summary of the results.
Topics & Concepts
Automated theorem provingComputer scienceCompetition (biology)Programming languageMathematical economicsAlgorithmMathematicsEcologyBiologyLogic, programming, and type systemsFormal Methods in Verificationsemigroups and automata theory