TPTP

TPTP(定理证明的数千个问题)是自动定理证明(ATP)系统的测试问题库。TPTP为ATP社区提供了一个ATP测试问题的综合库,现在可以提供,以提供一个概览和一个简单、明确的参考机制。每个问题的参考文献和其他有趣信息的综合列表。泛型问题的任意大小实例(例如,N-Quess问题)。将问题转换为现有ATP系统格式的实用程序。概述ATP系统评价要求的一般准则。ATP系统的输入和输出标准。TPTP的主要动机是支持ATP系统的测试和评估,以帮助确保性能结果准确地反映正在考虑的ATP系统的能力。一个共同的问题库是必要的有意义的系统评估,有意义的系统比较,可重复性的测试,并产生统计上显著的结果。TPTP就是这样一个图书馆。


ZBMaX中的参考文献(342篇)3篇标准文章

显示结果301至320的342。
按年份排序(引文
  1. 华,Benjamin W.;王,陶:非线性约束全局优化的渐近收敛模拟退火(1999)
  2. 鲍姆加特,彼得:联系推理中的理论推理(1998)
  3. Bry,弗兰·索斯;Tune,Sunn:一个反驳和有限可满足性的演绎方法(1998)
  4. Denzinger,Jo.Rg;福斯,马蒂亚斯:平等推理试探法的比较(1998)
  5. 福斯,Dirk:自上而下与自下而上定理的合作:子目标子句转移(1998)
  6. 安德烈亚斯,摇滚,格奥尔;魏登巴赫,克里斯托夫:关于小句范式的生成(1998)
  7. 赖夫,沃尔夫冈;谢尔霍恩,格哈德:大定理中的定理证明(1998)
  8. Sutcliffe,杰夫;萨特纳,克里斯蒂安:TPTP问题库。CNF发布V1。2。1(1998)
  9. 鲍姆加特,彼得;Bru Yuin,斯特凡:模型消除的析取正求精及其在包容删除中的应用(1997)
  10. 鲍姆加特,彼得;Furbah,Ulrich;StoZunn堡,Fried:用模型消除计算答案(1997)
  11. 达恩,B. I.;GeHne,J.Hoigigman,T.;保鲁夫,A:在TutsScILF中自动化和交互式定理证明的集成(1997)
  12. De FuffNeoux,吉尔斯;Peltier,尼古拉斯:证明和反例中类比发现的部分匹配(1997)
  13. 福斯,Dirk;福斯,马蒂亚斯:文本编码:凝聚分离问题的有力证明者(1997)
  14. 福斯,马蒂亚斯:演化组合器(1997)
  15. 赖纳,巴布,克里斯蒂安:有序表:扩展与应用(1997)
  16. 长谷川,Ryuzo;藤田,Hiroshi;Koshimura,MIYKI:MGTP:一个模型生成定理证明器。先进性及其应用(1997)
  17. 长谷川,Ryuzo;Inoue,KoSimi;OHTA,YoHIHIKO;Koshimura,MiYiK:非自顶向下的魔术集,将自上而下推理融入自下而上定理证明(1997)
  18. Horton,J. D.;斯宾塞,布鲁斯:子句树:理解和实现自动推理中分辨率的工具(1997)
  19. Ibens,Ortrun;莱茨,莱因霍尔德:模型消除中的子目标交替(1997)
  20. 佩尔蒂埃,Francis Jeffry;Sutcliffe,杰夫:ATP问题中一些勘误表的错误(1997)