The CADE-22 automated theorem proving system competition - CASC-22

被引：7
|
作者：
Sutcliffe, Geoff [1 ]
机构：
[1] Univ Miami, Dept Comp Sci, Coral Gables, FL 33124 USA
来源：
AI COMMUNICATIONS | 2010年 / 23卷 / 01期
关键词：
Automated theorem proving; competition; IMPLEMENTATION; DESIGN;
D O I：
10.3233/AIC-2010-0469
中图分类号：
TP18 [人工智能理论];
学科分类号：
081104 ; 0812 ; 0835 ; 1405 ;
摘要：
The CADE ATP System Competition (CASC) is an annual evaluation of fully automatic, classical logic Automated Theorem Proving ( ATP) systems. CASC-22 was the fourteenth competition in the CASC series. Twenty-nine 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.
引用
收藏
页码：47 / 59
页数：13
相关论文
共 20 条
12