The 10th IJCAR automated theorem proving system competition – CASC-J10
The CADE ATP System Competition (CASC) is the annual evaluation of fully automatic, classical logic Automated Theorem Proving (ATP) systems. CASC-J10 was the twenty-fifth competition in the CASC series. Twenty-four 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.
Keyword(s):
2013 ◽
Vol 14
(1)
◽
pp. 101-119
◽
2009 ◽
pp. 116-130
◽
Keyword(s):