埃达文

E-Darwin是一阶等式子句逻辑的自动定理证明器。它接受tptp或tme语法中的问题。非子句输入使用epover(或很快内置的子句化器)进行子句化。E-Darwin实现了模型进化演算及其若干变体,其中包括等式推理,见论文。该系统是基于达尔文证明的。由于达尔文不再被积极维护,E-Darwin最终将包含它的所有功能。E-Darwin的发展是从darwin1.3开始的,所以目前E-Darwin仍然需要赶上Darwin 1.3和它的最新版本Darwin 1.4.5之间的变化。


zbMATH中的参考文献(引用于19篇文章,1标准件)

显示第1至19个结果,共19个。
按年份排序(引用)

  1. Baumgartner,Peter;Schmidt,Renate A.:自下而上模型生成方法的阻塞和其他增强(2020)
  2. Bonacina,Maria Paola;Plaisted,David A.:语义引导目标敏感推理:推理系统和完备性(2017)
  3. de Nivelle,Hans:用Kleene逻辑证明具有部分函数的经典逻辑(2017)
  4. Reynolds,Andrew;Tinelli,Cesare;Barrett,Clark:SMT求解器有限模型发现的约束求解(2017)
  5. Bonacina,Maria Paola;Plaisted,David A.:语义引导的目标敏感推理:模型表示(2016)
  6. Reynolds,Andrew;Blanchette,Jasmin Christian;Cruanes,Simon;Tinelli,Cesare:SMT中递归函数的模型发现(2016)
  7. Bonacina,Maria Paola;Furbach,Ulrich;Sofronie Stokkermans,Violica:基于一阶模型的推理(2015)
  8. Saghafi,Salman;Danas,Ryan;Dougherty,Daniel J.:通过模型发现助手探索理论(2015)
  9. Hillenbrand,Thomas;Weidenbach,Christoph:有界域的叠加(2013)
  10. Korovin,Konstantin:Inst-Gen——基于实例化的自动推理的模块化方法(2013)
  11. Lisitsa,Alexei:《有限的安全原因》(2013)
  12. 张汉涛;张健:MACE4和SEM:有限模型发生器的比较(2013)
  13. Baumgartner,Peter;Pelzer,Björn;Tinelli,Cesare:Model evolution with equality——修订并实施(2012)
  14. Sutcliffe,Geoff;Schulz,Stephan;Claessen,Koen;Baumgartner,Peter:TPTP型一阶算术形式(2012)
  15. 戴哈贝,大卫;方丹,帕斯卡;默兹,斯蒂芬;沃茨根洛格古,布鲁诺:在SMT问题中利用对称性(2011)
  16. Gebser,Martin;Sabuncu,Orkunt;Schaub,Torsten:基于增量答案集编程的有限模型计算系统(2011)
  17. Baumgartner,Peter;Thorstensen,Evgenij:基于实例的方法-简要概述(2010)ioport公司
  18. Baumgartner,Peter;Fuchs,Alexander;de Nivelle,Hans;Tinelli,Cesare:通过还原到无函数子句逻辑计算有限模型(2009)
  19. Baumgartner,Peter;Fuchs,Alexander;Tinelli,Cesare:模型演化演算中的引理学习(2006)