The state of CASC
The state of CASC
复制标题
中国航天科技集团现状
作者：
G. Sutcliffe;C. Suttner
CADE ATP系统竞赛（CASC）是对全自动，一阶自动化定理证明系统的年度评估 - 这种系统的世界冠军。本文捕获了2005年CASC-20之后的CASC-20之后的CASC状态。它提供了CASC的摘要历史，当前竞争设计的详细信息，观察和讨论CASC对ATP的影响，经验教训在CASC期间，以及有关CASC的过去，现在和未来的评论。
The CADE ATP System Competition (CASC) is an annual evaluation of fully automatic, first order Automated Theorem Proving systems - the world championship for such systems. This paper captures the state of CASC after CASC-20, the tenth CASC, held in 2005. It provides a summarized history of CASC, details of the current design of the competition, observations and discussion of the effects of CASC on ATP, lessons learnt during CASC, and remarks regarding the past, present, and future of CASC.