CADE ATP System Competition: Difference between revisions

Revision as of 22:38, 16 December 2009

Revision as of 22:45, 16 December 2009

Line 1:

The '''CADE ATP System Competition''' (CASC) is a yearly competition of fully automated [[theorem prover]]s for classical [[first order logic]]. CASC is associated with the [[Conference on Automated Deduction]] and the [[International Joint Conference on Automated Reasoning]], and it is a sub-corporation of the [[Association for Automated Reasoning]].<ref>http://www.cadeconference.org/</ref>

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

== References ==

{{Reflist}}

* {{cite web|url=http://www.cs.miami.edu/~tptp/CASC/|title=The CADE ATP System Competition|author=[[Geoff Sutcliffe]]|accessdate=2008-10-23}}