Abstract
The CADE ATP System Competition (CASC) is an annual evaluation of fully automatic, first order Automated Theorem Proving (ATP) systems. CASC‐19 was the eighth competition in the CASC series. Twenty‐five ATP system variants competed in the various competition and demonstration divisions. An outline of the design and a commentated summary of the results are presented.
Get full access to this article
View all access options for this article.