CADE ATP System Competition: Difference between revisions

Revision as of 13:26, 13 July 2018

Revision as of 13:27, 13 July 2018

Line 1:

The '''CADE ATP System Competition''' (CASC) is a yearly competition of fully [[Automated theorem proving|automated theorem provers]] 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. Among the systems competing were [[Otter (theorem prover)|Otter]]<ref>{{cite journal |last1=McCune |first1=William |last2=Wos |first2=Larry |title=Otter-the CADE-13 competition incarnations |journal=Journal of Automated Reasoning |date=1997 |volume=18 |issue=2 |pages=211-220}}</ref> were [[Otter (theorem prover)|Otter]] and [[SETHEO]].<ref>{{cite journal |last1=Moser |first1=Max |last2=Ibens |first2=Ortrun |last3=Letz |first3=Reinhold |last4=Steinbach |first4=Joachim |last5=Goller |first5=Christoph |last6=Schumann |first6=Johann |last7=Mayr |first7=Klaus |title=Otter-the CADE-13 competition incarnations |journal=Journal of Automated Reasoning |date=1997 |volume=18 |issue=2 |pages=237-246}}</ref>.

== References ==