The 4th IJCAR Automated Theorem Proving System Competition – CASC-J4
Geoff Sutcliffe · AI Communications · 2009
The CADE ATP System Competition (CASC) is an annual evaluation of fully automatic, first order Automated Theorem Proving (ATP) systems. CASC-J4 was the thirteenth competition in the CASC series. Twenty-six ATP systems and system variants competed in