The CADE-27 Automated theorem proving System Competition - CASC-27

摘要

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.