The CADE ATP System Competition — CASC

Geoff Sutcliffe


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.

Full Text:



Copyright © 2018, Association for the Advancement of Artificial Intelligence ( All rights reserved.