TPTP

TPTP(定理证明者的数千个问题)是自动定理证明(ATP)系统的测试问题库。TPTP为ATP社区提供:一个全面的ATP测试问题库,可以提供一个概述和一个简单、明确的参考机制。每个问题的参考文献和其他有趣信息的综合列表。一般问题的任意大小实例(例如N皇后问题)。将问题转换为现有ATP系统格式的实用程序。概述ATP系统评估要求的一般指南。ATP系统的输入和输出标准。TPTP的主要动机是支持ATP系统的测试和评估,以帮助确保性能结果准确反映所考虑的ATP系统的能力。系统的可重复性、可重复性评价是系统测试中常见的、有意义的问题。TPTP就是这样一个库。


zbMATH中的参考文献(引用于,3标准条款)

显示结果321到340,共372个。
按年份排序(引用)
  1. 舒曼:软件工程中的自动定理证明。唐纳德·洛夫兰的前言(2000)
  2. 舒茨,Heribert;Geisler,Tim:通过编译有效地生成模型。(2000年)
  3. 斯宾塞,布鲁斯;霍顿,约瑟夫D.:支持命令决议(2000)
  4. 萨特克利夫,杰夫:系统描述:SystemOnTPTP(2000)
  5. Mohammed Almulla;Hanna,L.A-M:一阶谓词逻辑用于数论建模的领域无关系统(1999)
  6. Fuchs,Dirk:关于子目标从句在自下而上和自上而下计算中的使用(1999)
  7. Fuchs,Dirk;Fuchs,Marc:自上而下和自下而上定理证明者之间的合作(1999)
  8. Paulson,Lawrence C.:一个通用的tableau prover及其与Isabelle的整合(1999)
  9. Wah,Benjamin W.;Wang,Tao:非线性约束全局优化的渐近收敛模拟退火(1999)
  10. Baumgartner,Peter:联系计算的理论推理(1998)
  11. Bry,François;Torge,Sunna:反驳和有限可满足性的完全演绎方法(1998)
  12. Denzinger,Jörg;Fuchs,Matthias:等式推理启发式比较(1998)
  13. Fuchs,Dirk:自上而下和自下而上定理证明者之间的合作(1998)
  14. 安德烈亚斯,诺内加特;罗克,乔治;魏登巴赫,克里斯托夫:关于生成小句范式(1998)
  15. Reif,Wolfgang;Schellhorn,Gerhard:大理论中的定理证明(1998)
  16. 杰夫·萨特克利夫;克里斯蒂安·萨特纳:TPTP问题库。CNF版本v1。21(1998年)
  17. Baumgartner,Peter;Brüning,Stefan:模型消除的析取正精化及其在包含删除中的应用(1997)
  18. Baumgartner,Peter;Furbach,Ulrich;Stolzenburg,Frieder:用模型消除计算答案(1997)
  19. 自动积分法;自动积分法
  20. Défourneaux,Gilles;Peltier,Nicolas:证明和反例中类比发现的部分匹配(1997)