Abstract
This paper documents the design, competing systems, results, and conclusions of the CADE-14 ATP System Competition (CASC-14).
Similar content being viewed by others
References
Pelletier, F. J., Sutcliffe, G., and Suttner, C. B.: Conclusions about the CADE-13 ATP system competition, J. Automated Reasoning 18(2) (1997), 287–296.
Sutcliffe, G. and Suttner, C. B.: ATP system results for the TPTP problem library, http://www.cs.jcu.edu.au/~tptp/TPTP/Results.html, 1997.
Sutcliffe, G. and Suttner, C.: The CADE-14 ATP system competition, Technical Report 98/01, Department of Computer Science, James Cook University, Townsville, Australia, 1998.
Sutcliffe, G. and Suttner, C. B.: Special issue: The CADE-13 ATP system competition, J. Automated Reasoning 18(2) (1997).
Sutcliffe, G. and Suttner, C. B.: The TPTP problem library: CNF release v1.2.1, J. Automated Reasoning, to appear.
Suttner, C. B. and Sutcliffe, G.: The design of the CADE-13 ATP system competition, J. Automated Reasoning 18(2) (1997), 139–162.
Sutcliffe, G. and Suttner, C. B.: The procedures of the CADE-13 ATP system competition, J. Automated Reasoning 18(2) (1997), 163–169.
Suttner, C. B. and Sutcliffe, G.: The TPTP problem library (TPTP v2.0.0), Technical Report AR-97–01, Institut für Informatik, Technische Universität München, Munich, Germany; Technical Report 97/04, Department of Computer Science, James Cook University, Townsville, Australia, 1997.
Author information
Authors and Affiliations
Rights and permissions
About this article
Cite this article
Suttner, C., Sutcliffe, G. The CADE-14 ATP System Competition. Journal of Automated Reasoning 21, 99–134 (1998). https://doi.org/10.1023/A:1006006930186
Issue Date:
DOI: https://doi.org/10.1023/A:1006006930186