The CADE-26 automated theorem proving system competition – CASC-26
Geoff Sutcliffe · AI Communications · 2017
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 comp