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

被引：5
作者：
Sutcliffe, Geoff [1 ]
机构：
[1] Univ Miami, Dept Comp Sci, Coral Gables, FL 33124 USA
来源：
AI COMMUNICATIONS | 2014年 / 27卷 / 04期
关键词：
Automated theorem proving; competition;
D O I：
10.3233/AIC-140606
中图分类号：
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-24 was the eighteenth competition in the CASC series. Thirty-two 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.
引用
收藏
页码：405 / 416
页数：12
相关论文
共 23 条
  • [1] Alma J., 2013, J AUTOM REASONING, V52, P191
  • [2] Barrett Clark, 2011, Computer Aided Verification. Proceedings 23rd International Conference, CAV 2011, P171, DOI 10.1007/978-3-642-22110-1_14
  • [3] Blanchette JC, 2013, LECT NOTES COMPUT SC, V7795, P493, DOI 10.1007/978-3-642-36742-7_34
  • [4] Hoder K, 2012, Proceedings of the 12th Conference on Formal Methods in Computer-Aided Design (FMCAD 2012), P44
  • [5] Hoder K, 2011, LECT NOTES ARTIF INT, V6803, P299, DOI 10.1007/978-3-642-22438-6_23
  • [6] Korovin Konstantin, 2013, Programming Logics. Essays in Memory of Harald Ganzinger: LNCS 7797, P239, DOI 10.1007/978-3-642-37651-1_10
  • [7] Korovin K, 2008, LECT NOTES ARTIF INT, V5195, P292, DOI 10.1007/978-3-540-71070-7_24
  • [8] Korovin K, 2013, LECT NOTES COMPUT SC, V8152, P214, DOI 10.1007/978-3-642-40885-4_15
  • [9] Kuhlwein Daniel, 2012, Automated Reasoning. Proceedings 6th International Joint Conference, IJCAR 2012, P378, DOI 10.1007/978-3-642-31365-3_30
  • [10] Kuhlwein Daniel., 2013, International Conference on Automated Deduction, P407, DOI [10.1007/978-3-642-38574-2, DOI 10.1007/978-3-642-38574-2]
123