The CADE ATP System Competition

The CADE ATP System Competition (CASC) is an annual evaluation of fully automatic, first-order Automated Theorem Proving systems. CASC-18 was the seventh competition in the CASC series. Twenty-four 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.

• Type: Conference
• Year: 2004
• Where: CADE
• Authors: Geoff Sutcliffe, Christian B. Suttner
• Keywords: Annual Evaluation, Automated Reasoning, CADE 2004, CADE ATP System, First-order Automated Theorem