The CADE-28 ATP System Competition
Abstract
The CADE ATP System Competition (CASC) is the annual evaluation of
fully automatic, classical logic Automated Theorem Proving (ATP) systems.
CASC-28 was the twenty-sixth competition in the CASC series.
Twenty-two ATP systems competed in the various competition divisions.
This talk presents an outline of the competition design and a commentated
summary of the results.