The CADE-29 Automated Theorem Proving System Competition - CASC-29

被引：1
|
作者：
Sutcliffe, Geoff [1 ]
Desharnais, Martin [2 ]
机构：
[1] Univ Miami, Dept Comp Sci, Coral Gables, FL 33146 USA
[2] Max Planck Inst Informat, Automat Logic, Saarbrucken, Germany
来源：
AI COMMUNICATIONS | 2024年 / 37卷 / 04期
关键词：
Automated Theorem Proving; competition; LOGIC;
D O I：
10.3233/AIC-230325
中图分类号：
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 - the world championship for such systems. CASC-29 was the twenty-eighth competition in the CASC series. Twenty-four ATP systems competed in the various divisions. This paper presents an outline of the competition design and a commentated summary of the results.
引用
收藏
页码：485 / 503
页数：19
相关论文
共 20 条
12