Content deleted Content added
m Open access bot: url-access updated in citation with #oabot. |
No edit summary Tags: Visual edit Mobile edit Mobile web edit |
||
| (One intermediate revision by the same user not shown) | |||
Line 1:
{{Short description|Annual automated theorem proving competition}}
The '''CADE ATP System Competition''' ('''CASC''') is an annual competition of fully [[automated theorem proving|automated theorem provers]] for [[classical logic]].<ref>{{cite journal|last=Sutcliffe|first=Geoff|title=The 5th IJCAR Automated Theorem Proving System Competition - CASC-J5|journal=AI Communications|year=2011|volume=24|issue=1|pages=75–89|url=https://content.iospress.com/articles/ai-communications/aic483|doi=10.3233/AIC-2010-0483|url-access=subscription}}</ref><ref>{{cite web|url=http://www.cs.miami.edu/~tptp/CASC/|title=The CADE ATP System Competition|author=Geoff Sutcliffe|accessdate=2008-10-23|archive-url=https://web.archive.org/web/20090302112038/http://www.cs.miami.edu/~tptp/CASC/|archive-date=2009-03-02|url-status=dead|author-link=Geoff Sutcliffe}}</ref><ref name=stateofcasc>{{cite journal|journal=AI Communications|title=The State of CASC|year=2006|volume=19|issue=1|pages=35–48|author=Geoff Sutcliffe and Christian Suttner|url=https://content.iospress.com/articles/ai-communications/aic359}}</ref><ref>{{cite journal|journal=AI Communications|title=The Development of CASC|year=2002|volume=15|issue=2–3|pages=79–90|author=Jeff Pelletier, Geoff Sutcliffe and Christian Suttner|url=http://www.cs.miami.edu/home/geoff/Papers/Journal/2002_PSS02_AIComm-15-2-79-90.pdf}}</ref>
==Competition==
| |||