×

海尔雨果

swMATH编号： 9704
软件作者： Groote，J.F.，Warners，J.P。
描述： 命题公式检查器HeerHugo。HeerHugo 0.3是一个命题定理证明器，它试图证明（大）命题是矛盾的。HeerHugo语法中的典型例子是p&p（矛盾），p|（q->（abcd<->s））（可满足）。输入放在文件Ain中，输出放在文件Aout中。通过调整文件参数.h，可以设置许多编译时选项，例如命题字母的最大数量（对于使用HeerHugo的修改版本的一些实验，该数量已设置为超过150.000.000）。该工具（gzipped tar文件）以及随附的论文（postscript或pdf）可用。该软件可以免费使用，但没有任何保证。
主页： 网址：http://www.win.tue.nl/~jfg/heerhugo.html
相关软件： SATO公司;糠;DIMACS公司;NuSMV公司;ZRes公司;SatEx公司;莱布尼兹;液化石油气处理厂;Quantor公司;部门QBF;尼诺菲克斯;PicoSAT卫星;sQueezeBF公司;超小卫星;玲玲;加密MiniSat;iProver（iProver）;PrecoSAT公司;弯曲;克洛诺斯
引用于： 17文件
全部的 前5名

33位作者引用

3 Jan Friso，格鲁特
2 阿明·比尔
2 布鲁尼，雷纳托
2 华纳，Joost P。
1 尤金·亚萨林
1 阿卜杜勒瓦赫布·阿亚里
1 David A.Basin。
1 马吕斯·博兹加
1 菲利普·查塔利克
1 克劳迪娅·菲奥里尼
1 恩里科·金西格里亚
1 Heule，Marijn J.H。
1 马蒂·Järvisalo
1 李楚敏
1 弗洛里安·朗辛
1 林奇，因斯
1 莫伊兹·马赫福德
1 奥德·马勒
1 Joáo P.塞尔瓦侯爵。
1 恩里科·马蒂内利
1 法比奥·马萨奇
1 马西莫·纳里扎诺
1 彼得·尼伯特
1 曼纽尔·奥杰达·阿西戈
1 Fumiaki Okushi
1 尼古拉斯·佩尔蒂埃
1 安东尼奥·萨萨诺
1 Laurent S.R.西蒙。
1 阿曼多·塔切拉
1 阿古斯汀·瓦尔弗德
1 范·盖尔德，艾伦
1 莫西·亚亚科夫·瓦尔迪
1 汉斯·赞特马

3篇连载文章中引用

5 离散应用数学
2 数学与人工智能年鉴
1 自动推理杂志

在3个字段中引用

14 计算机科学（68至XX）
7 数学逻辑和基础（03-XX）
2 运筹学、数学规划（90-XX）

按年份列出的引文