CADE ATP System Competition
This article may have been previously nominated for deletion: Wikipedia:Articles for deletion/CADE ATP System Competition exists. It is proposed that this article be deleted because of the following concern:
If you can address this concern by improving, copyediting, sourcing, renaming, or merging the page, please edit this page and do so. You may remove this message if you improve the article or otherwise object to deletion for any reason. Although not required, you are encouraged to explain why you object to the deletion, either in your edit summary or on the talk page. If this template is removed, do not replace it. This message has remained in place for seven days, so the article may be deleted without further notice. Find sources: "CADE ATP System Competition" – news · newspapers · books · scholar · JSTOR Nominator: Please consider notifying the author/project: {{subst:proposed deletion notify|CADE ATP System Competition|concern=Every reference that exists has the competition organizer listed as one of its authors.}} ~~~~Timestamp: 20180713131129 13:11, 13 July 2018 (UTC) Administrators: delete |
The CADE ATP System Competition (CASC) is a yearly competition of fully 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.
References
- Sutcliffe, Geoff (2011). "The 5th IJCAR Automated Theorem Proving System Competition - CASC-J5". AI Communications. 24 (1): 75–89.
- Geoff Sutcliffe. "The CADE ATP System Competition". Retrieved 2008-10-23.
- Geoff Sutcliffe and Christian Suttner (2006). "The State of CASC". AI Communications. 19 (1): 35–48.
- Jeff Pelletier, Geoff Sutcliffe and Christian Suttner (2002). "The Development of CASC". AI Communications. 15 (2–3): 79–90.
External links
 | This computer science article is a stub. You can help Wikipedia by expanding it. |