• 主题
高级搜索  >
历史搜索 清空历史
首页> 外文期刊>AI communications >The impact of CASC in the development of automated deduction systems
【24h】

The impact of CASC in the development of automated deduction systems

机译：CASC在自动扣除系统开发中的影响

获取原文
获取原文并翻译 | 示例
       
页面导航
  • 摘要
  • 著录项
  • 相似文献
  • 相关主题

摘要

The CADE Automated theorem proving System Competition (CASC) is held each year at the International Conference on Automated Deduction (CADE). The aim of CASC is to stimulate automated theorem proving (ATP) system development, and to expose ATP systems to interested researchers. CASC evaluates the performance of sound, fully automatic, first-order ATP systems. The evaluation is in terms of the number of problems solved, proof objects built, and the average runtime for successful solutions, in the context of a bounded number of eligible problems chosen from the TPTP Problem Library, and a specified time limit for each solution attempt.
机译：CADE自动化定理证明系统竞赛（CASC）每年在国际自动演绎大会（CADE）上举行。 CASC的目的是刺激自动定理证明（ATP）系统的开发，并将ATP系统暴露给感兴趣的研究人员。 CASC评估完善的全自动一阶ATP系统的性能。评估是根据在TPTP问题库中选择的有限数量合格问题的范围内解决的问题数量，构建的证明对象以及成功解决方案的平均运行时间，以及每次解决方案尝试的指定时限。

著录项

相似文献

  • 外文文献
  • 中文文献
  • 专利
获取原文

客服邮箱：kefu@zhangqiaokeyan.com

京公网安备：11010802029741号 ICP备案号：京ICP备15016152号-6 六维联合信息科技 (北京) 有限公司©版权所有

  • 客服微信

  • 服务号