The CADE-14 ATP System Competition (1998)
Cached
Download Links
- [www.cs.jcu.edu.au]
- [wwwjessen.informatik.tu-muenchen.de]
- [www.cs.jcu.edu.au]
- DBLP
Other Repositories/Bibliography
| Venue: | Journal of Automated Reasoning |
| Citations: | 24 - 3 self |
BibTeX
@ARTICLE{Suttner98thecade-14,
author = {Christian Suttner and Geoff Sutcliffe},
title = {The CADE-14 ATP System Competition},
journal = {Journal of Automated Reasoning},
year = {1998},
volume = {21},
pages = {2000}
}
Years of Citing Articles
Bookmark
 |
 |
 |
 |
 |
 |
OpenURL
Abstract
. This paper documents the design, competing systems, results, and conclusions of the CADE-14 ATP System Competition (CASC-14). 1. Introduction The CADE-14 ATP System Competition (CASC-14) was held on Wednesday 16th July 1997, as part of CADE-14 at the Sheraton Breakwater Hotel, Townsville, Australia. CASC-14 was the second CADE ATP system competition, following the successful competition at CADE-13 in 1996 at Rutgers University, New Brunswick, USA [SS97b]. CASC-14 evaluated the performance of sound, fully automatic, 1st 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 [SSar, SS97e] and a specified time limit for each solution attempt. Eighteen ATP systems, listed in Table I, were entered into the various competition and demonstration divisions. The competition was run on nine SUN Ultra 140s...
Citations
No citations identified.
