The 8th IJCAR automated theorem proving system competition – CASC-J8
Geoff Sutcliffe · AI Communications · 2016
The CADE ATP System Competition (CASC) is the annual evaluation of fully automatic, classical logic Automated Theorem Proving (ATP) systems. CASC-J8 was the twenty-first competition in the CASC series. Twenty-one ATP systems and system variants compe