E-Setho

E-Setho:一个Autoto 3定理证明器,我们已经开发了一种基于问题域的测试数据进行策略评估和选择的方法。我们提出定理证明器E-SEEOO,它自动处理训练数据管理、策略评估和选择以及实际的证明任务。我们还给出了一些实验数据。我们解决了测试集提取的问题,并给出了我们的工作评估。


ZBMaCT中的参考文献(18篇文章中引用)

显示结果1至18的18。
按年份排序(引文

  1. CalISZYK,CEZARE:高效低级连接表(2015)
  2. K·丹尼尔,舒尔茨,Stephan;城市,约瑟夫:E男性1.1(2013)
  3. 马格纳斯,第一个命令:圣玛尔克。通过分支合并的通用引理(2009)
  4. J.Rjjes,Jun:基于流的密码协议的域特定语言(2009)
  5. 克里斯托夫,SurGE,Volker;JAMNIK,凯日曼;Kerber,曼弗雷德:自动化合作的组合推理(2008)
  6. Paskevich,安德列:具有懒散参数的连接表(2008)
  7. Lez,莱因霍尔德;Stnz,Gernot:断开TabLaU演算(2007)
  8. 克里斯托夫,SurGE,Volker;JAMNIK,凯日曼;Kerber,曼弗雷德:一个高阶和一阶定理证明器能合作吗?(2005)
  9. Otten,Jens;比贝尔,沃尔夫冈:IECOOP:基于精益连接的定理证明(2003)
  10. Riazanov,亚历山大;Voronkov,安德列:解析定理证明中的有限资源策略(2003)
  11. 福斯,贾景晖:连接表中的子句引理的受控用法(2000)
  12. Stenz,Gernot;保鲁夫,安德烈亚斯:E-Setho:一个自动化的(^ 3)定理证明器(2000)
  13. 比贝尔,W:让我们演绎一下!(1998)
  14. 菲舍尔,贝尔恩德;舒曼,Johann;SnelTin,Gregor:基于演绎的软件构件检索(1998)
  15. 菲舍尔,贝尔恩德;舒曼,Johann M. Ph.:Setho走向软件工程:ATP在软件重用中的应用(1997)
  16. Ibens,Ortrun;莱茨,莱因霍尔德:模型消除中的子目标交替(1997)
  17. 莫泽,马克斯;Ibens,Ortrun;莱茨,莱因霍尔德;斯坦因巴赫,约阿希姆;格勒,克里斯托夫;舒曼,Pig;Y:Y:Cay-13系统Setho和E-Setho。(1997)伊波尔特
  18. 舒曼,约翰:Setho密码协议的自动验证(1997)