The CADE-15 ATP System Competition (CASC-15) held on July 7,1998 as part of CADE-15 in Lindau, Germany was the third CADE automated theorem proving (ATP) system competition. CASC-15 evaluated the performance of sound, fully automatic first-order ATP systems in terms of the number of problems solved and the average runtime for successful solutions, in the context of a bounded number of eligible problems chosen from the TPTP Problem Library (SS98c) and a specified time limit for each solution attempt. Fourteen ATP systems competed in the various competition and demonstration divisions.
ASJC Scopus subject areas
- Computational Theory and Mathematics
- Artificial Intelligence