The 3rd IJCAR automated theorem proving competition

被引：0
作者：
Sutcliffe, Geoff [1 ]
机构：
[1] Univ Miami, Dept Comp Sci, Coral Gables, FL 33124 USA
来源：
AI COMMUNICATIONS | 2007年 / 20卷 / 02期
关键词：
competition; automated theorem proving;
D O I：
暂无
中图分类号：
TP18 [人工智能理论];
学科分类号：
081104 ; 0812 ; 0835 ; 1405 ;
摘要：
The CADE ATP System Competition (CASC) is an annual evaluation of fully automatic, first order Automated Theorem Proving systems. CASC-J3 was the eleventh competition in the CASC series. Twenty ATP systems and system variants competed in the various competition and demonstration divisions. An outline of the competition design, and a commentated summary of the results, are presented.
引用
收藏
页码：117 / 126
页数：10
相关论文
共 48 条
12345