CADE ATP System Competition: Difference between revisions

Revision as of 14:25, 13 April 2010

Revision as of 19:36, 14 September 2010

Line 1:

The '''CADE ATP System Competition''' (CASC) is a yearly competition of fully automated [[Automated theorem proving|automated[theorem proverprovers]]s for classical [[first order logic]]. CASC is associated with the [[Conference on Automated Deduction]] and the [[International Joint Conference on Automated Reasoning]] organized by the [[Association for Automated Reasoning]].

The first CASC, CASC-13, was held as part of the 13th Conference on Automated Deduction at [[Rutgers University]], New Brunswick, NJ, in 1996.