The 11th IJCAR automated theorem proving system competition - CASC-J11

被引：7
|
作者：
Sutcliffe, Geoff [1 ]
Desharnais, Martin [2 ]
机构：
[1] Univ Miami, Dept Comp Sci, Coral Gables, FL 33124 USA
[2] Max Planck Inst Informat, Automat Log, Saarbrucken, Germany
来源：
AI COMMUNICATIONS | 2023年 / 36卷 / 02期
关键词：
Automated theorem proving; competition; VERIFICATION; PROVER; LOGIC;
D O I：
10.3233/AIC-220244
中图分类号：
TP18 [人工智能理论];
学科分类号：
081104 ; 0812 ; 0835 ; 1405 ;
摘要：
The CADE ATP System Competition (CASC) is the annual evaluation of fully automatic, classical logic, Automated Theorem Proving (ATP) systems. CASC-J11 was the twenty-seventh competition in the CASC series. Twenty-four ATP systems competed in the various competition divisions. This paper presents an outline of the competition design and a commentated summary of the results.
引用
收藏
页码：73 / 91
页数：19
相关论文
共 19 条
12