The 4th IJCAR Automated Theorem Proving System Competition – CASC-J4 - IOS Press
You are viewing a javascript disabled version of the site. Please enable Javascript for this site to function properly.
Go to headerGo to navigationGo to searchGo to contentsGo to footer
In content section. Select this link to jump to navigation

The 4th IJCAR Automated Theorem Proving System Competition – CASC-J4

Article type: Other

Authors: Sutcliffe, Geoff

Affiliations: Department of Computer Science, University of Miami, FL, USA. E-mail: [email protected]

Abstract: The CADE ATP System Competition (CASC) is an annual evaluation of fully automatic, first order Automated Theorem Proving (ATP) systems. CASC-J4 was the thirteenth competition in the CASC series. Twenty-six ATP systems and system variants competed in the various competition and demonstration divisions. An outline of the competition design, and a commentated summary of the results, are presented.

Keywords: Competition, automated theorem proving

DOI: 10.3233/AIC-2009-0441

Journal: AI Communications, vol. 22, no. 1, pp. 59-72, 2009

Published: 2009
Price: EUR 27.50
Show more