The CADE-25 Automated Theorem Proving system competition - CASC-25

被引：4
|
作者：
Sutcliffe, Geoff [1 ]
Urban, Josef [2 ]
机构：
[1] Univ Miami, Dept Comp Sci, Miami, FL USA
[2] Radboud Univ Nijmegen, Intelligent Syst ICIS, NL-6525 ED Nijmegen, Netherlands
来源：
AI COMMUNICATIONS | 2016年 / 29卷 / 03期
基金：
欧盟地平线“2020”;
关键词：
Automated theorem proving; competition;
D O I：
10.3233/AIC-150691
中图分类号：
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-25 was the twentieth competition in the CASC series. Twenty-seven ATP systems and system variants competed in the various competition divisions. An outline of the competition design, and a commentated summary of the results, are presented.
引用
收藏
页码：423 / 433
页数：11
相关论文
共 20 条
12