Abstract
The CADE-13 ATP System Competition was the first large-scale controlled competition for first-order ATP systems. Many people have commented on various aspects of the competition, including some suggestions for future improvement. These comments, and some discussion of them, are contained in this article. An overview of the major issues that will affect future competitions is given.
This is a preview of subscription content, log in via an institution to check access.
Similar content being viewed by others
References
Hooker, J. N.: Testing heuristics: We have it all wrong, Journal of Heuristics 1 (1996), 33–42.
Johnson, D. S.: A Theoretician's Guide to the Experimental Analysis of Algorithms. Draft available by ftp from dimacs.rutgers.edu:pub/dsj/temp/exper.ps, 1996.
Kopec, D., Newborn, M. and Valvo, M.: The 22nd annual ACM international computer chess championship, Communications of the ACM 35(11) (1992), 100–110.
Sutcliffe, G. and Suttner, C. B.: The procedures of the CADE-13 ATP system competition, Journal of Automated Reasoning 18(2) (1997).
Sutcliffe, G. and Suttner, C. B.: The results of the CADE-13 ATP system competition, Journal of Automated Reasoning 18(2) (1997).
Suttner, C. B. and Sutcliffe, G.: The design of the CADE-13 ATP system competition, Journal of Automated Reasoning 18(2) (1997).
Author information
Authors and Affiliations
Rights and permissions
About this article
Cite this article
Pelletier, F.J., Sutcliffe, G. & Suttner, C. Conclusions about the CADE-13 ATP System Competition. Journal of Automated Reasoning 18, 287–296 (1997). https://doi.org/10.1023/A:1005876506808
Issue Date:
DOI: https://doi.org/10.1023/A:1005876506808