The CADE-23 Automated Theorem Proving System Competition – CASC-23
Geoff Sutcliffe · AI Communications · 2012
The CADE ATP System Competition (CASC) is an annual evaluation of fully automatic, classical logic Automated Theorem Proving (ATP) systems. CASC-23 was the sixteenth competition in the CASC series. Thirty-six ATP systems and system variants competed