Sciweavers

CADE
2004
Springer

The CADE ATP System Competition

14 years 3 months ago
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.
Geoff Sutcliffe, Christian B. Suttner
Added 03 Dec 2009
Updated 03 Dec 2009
Type Conference
Year 2004
Where CADE
Authors Geoff Sutcliffe, Christian B. Suttner
Comments (0)