The state of CASC

Article type: Research Article

Authors: Sutcliffe, Geoff | Suttner, Christian

Affiliations: Department of Computer Science, University of Miami, USA E-mail: geoff@cs.miami.edu | Cirrus Management, Germany E-mail: christian@suttner.info

Abstract: The CADE ATP System Competition (CASC) is an annual evaluation of fully automatic, first order Automated Theorem Proving systems – the world championship for such systems. This paper captures the state of CASC after CASC-20, the tenth CASC, held in 2005. It provides a summarized history of CASC, details of the current design of the competition, observations and discussion of the effects of CASC on ATP, lessons learnt during CASC, and remarks regarding the past, present, and future of CASC.

Keywords: Competition, automated theorem proving

Journal: AI Communications, vol. 19, no. 1, pp. 35-48, 2006