黑尔胡戈

命题公式检验器HeHuGo。HeuruGo 0.3是一个命题定理证明者,试图证明(大)命题是矛盾的。HeuruGo语法中的典型例子是P & P(矛盾),P(q->(ABCD <-> s))(可满足)。输入放在文件AIN中,输出放在文件AOUT中。通过修改文件参数h,可以设置多个编译时间选项,例如命题字母的最大数目(对于一些实验,使用HeeHuGo的修改版本,已经设置为超过150.000 000)。该工具(GZIP焦油文件)连同附带的纸(PASScript或PDF)是可用的。软件可以免费使用,但没有任何保证。


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

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

  1. 休尔,Marijn J. H.;J.R.Vistalo,Matti;Bieer-Armin:基于二元蕴涵图的高效CNF简化(2011)
  2. 朗辛、弗洛里安、比耶尔、Armin:QBF文字检测失败(2011)
  3. Peltier,尼古拉斯:扩展分辨率模拟二元决策图(2008)
  4. 埃里克森,Lars Henrik:GTO工具集和方法(2007)伊波尔特
  5. Lynce,Marques Silva,Joango:回溯搜索SAT求解器的高效数据结构(2005)
  6. Ojeda Aciego,M,ValvDE,A: TASCPL:经典命题逻辑的TAS求解器(2004)
  7. Okushi,FimiaKi;Van Gelder,艾伦:命题模型消去中的持久和准持久引理(2004)
  8. 布吕尼,雷纳托:利用自适应核搜索逼近极小不可满足子公式(2003)
  9. 布吕尼,雷纳托;萨萨诺,安东尼奥:命题可满足性的完全自适应算法(2003)
  10. 菲奥里尼,克劳蒂亚;马蒂内利,恩里科;Masasi,法比奥:如何通过编码模块根发现作为一个SAT问题来伪造RSA签名(2003)
  11. 李,Chu Min:DLL过程中的等效文字传播(2003)
  12. 赞塔玛、汉斯、Groote、Jan Friso:把等式逻辑转换为命题逻辑(2003)
  13. Ayari,Abdelwaheb;盆地,戴维:QuBOS:用命题可满足性求解器确定量化布尔逻辑(2002)
  14. Niebert,彼得;马哈福德,Moez;阿萨林,尤金;博茨加,马吕斯;Maler,ODID:通过可满足性检验验证时间自动机(2002)
  15. 吉安吉格里亚,恩里科;纳里扎诺,马西莫;塔契拉,阿曼多;瓦迪,Moshe Y.:走向一个高效的图书馆:宣言(2001)
  16. 西蒙,劳伦特;Calalic,菲利普:SatEx:一个基于Web的SAT实验框架(2001)
  17. Groote,Jan Friso;华纳,JooST P:命题公式检查器HeuruGo(2000)
  18. Groote,Jan Friso;华纳,JooST P:命题公式检查器HeuruGo(2000)