Abstract
The CADE ATP System Competition (CASC) is an annual evaluation of fully automatic, first-order automated theorem-proving (ATP) systems. CASC-18 was the seventh competition in the CASC series. Twenty-four ATP system variants competed in the various competition and demonstration divisions. An outline of the design and a commentated summary of the results are presented.
Similar content being viewed by others
References
Colton, S.: Automated Theory Formation in Pure Mathematics, Springer-Verlag, 2002.
Hillenbrand, T., Jaeger, A. and Löchner, B.: Waldmeister - improvements in performance and ease of use, in H. Ganzinger (ed.), Proceedings of the 16th International Conference on Automated Deduction, Springer-Verlag, 1999, pp. 232-236.
Hustadt, U. and Schmidt, R.: Using resolution for testing modal satisfiability and building models, J. Automated Reasoning 28(2) (2002), 205-232.
Moskewicz, M., Madigan, C., Zhao, Y., Zhang, L. and Malik, S.: Chaff: Engineering an efficient SAT solver, in B. D. and L. Lavagno (eds.), Proceedings of the 39th Design Automation Conference, 2001, pp. 530-535.
Riazanov, A. and Voronkov, A.: The design and implementation of vampire, AI Communications (2002), to appear.
Schumann, J.: Automated Theorem Proving in Software Engineering, Springer-Verlag, 2002.
Stenz, G. and Wolf, A.: Strategy selection by genetic programming, in A. Kumar and I. Russell (eds.), Proceedings of the 12th Florida Artificial Intelligence Research Symposium, AAAI Press, 1999, pp. 346-350.
Sutcliffe, G.: Proceedings of the CADE-18 ATP System Competition, Copenhagen, Denmark, 2002.
Sutcliffe, G. and Suttner, C.: The TPTP problem library: CNF release v1.2.1, J. Automated Reasoning 21(2) (1998), 177-203.
Sutcliffe, G., Suttner, C. and Pelletier, F.: The IJCAR ATP system competition, J. Automated Reasoning 28(3) (2002), 307-320.
Tammet, T.: Towards efficient ATP progress, in C. Kirchner and H. Kirchner (eds.), Proceedings of the 15th International Conference on Automated Deduction, Springer-Verlag, 1998, pp. 427-440.
Author information
Authors and Affiliations
Rights and permissions
About this article
Cite this article
Sutcliffe, G., Suttner, C.B. The CADE-18 ATP System Competition. Journal of Automated Reasoning 31, 23–32 (2003). https://doi.org/10.1023/A:1027302123309
Issue Date:
DOI: https://doi.org/10.1023/A:1027302123309