The CADE-16 ATP system competition
Sutcliffe, Geoff (2000) The CADE-16 ATP system competition. Journal of Automated Reasoning, 24 (3). pp. 371-396.
![[img]](https://researchonline.jcu.edu.au/style/images/fileicons/application_pdf.png) |
PDF (Published Version)
- Published Version
Restricted to Repository staff only |
Abstract
[Extract] The CADE-16 ATP System Competition (CASC-16) was held on Friday, 9 July 1999, as part of CADE-16 in Trento, Italy. CASC-16 was the fourth CADE ATP system competition, following the successful competitions at CADE-13 in 1996 (Sutcliffe and Suttner, 1997a), CADE-14 in 1997 (Suttner and Sutcliffe, 1998), and CADE-15 in 1998 (Sutcliffe and Suttner, 1999). CASC-16 evaluated the performance of fully automatic, first-order ATP systems. The evaluation was in terms of the number of problems solved and the average runtime for successful solutions. The evaluation was done in the context of a bounded number of eligible problems chosen from the TPTP Problem Library (Sutcliffe and Suttner, 1998c) v2.2.1, and a specified time limit for each solution attempt. This paper documents the results of the competition.
| Item ID: | 12900 |
|---|---|
| Item Type: | Article (Research - C1) |
| ISSN: | 1573-0670 |
| Keywords: | automated theorem proving; competition |
| Date Deposited: | 26 Jul 2012 03:05 |
| FoR Codes: | 08 INFORMATION AND COMPUTING SCIENCES > 0806 Information Systems > 080608 Information Systems Development Methodologies @ 100% |
| SEO Codes: | 89 INFORMATION AND COMMUNICATION SERVICES > 8999 Other Information and Communication Services > 899999 Information and Communication Services not elsewhere classified @ 100% |
| Downloads: |
Total: 4 |
| More Statistics |
Actions (Repository Staff Only)
 |
Item Control Page |