The CADE ATP System Competition — CASC

Authors

  • Geoff Sutcliffe University of Miami.

DOI:

https://doi.org/10.1609/aimag.v37i2.2620

Abstract

The CADE ATP System Competition (CASC) is an annual evaluation of fully automatic automated theorem proving (ATP) systems for classical logic — the world championship for such systems. CASC provides a public evaluation of the relative capabilities of ATP systems, and aims stimulate ATP research towards the development of more powerful ATP systems. Over the years CASC has been a catalyst for impressive improvements in ATP.

Downloads

Published

2016-07-04

How to Cite

Sutcliffe, G. (2016). The CADE ATP System Competition — CASC. AI Magazine, 37(2), 99-101. https://doi.org/10.1609/aimag.v37i2.2620

Issue

Section

Competition Reports