软件搜索-zbMATH Open

ZRes公司

swMATH ID:	28380
软件作者：	查塔利奇，菲利普；洛朗·西蒙
描述：	ZRes：旧的Davis-Putnam程序符合ZBDD。ZRes是一种基于Davis和Putnam原始程序的命题证明程序，而不是其修改版本的Davis、Logeman和Loveland，当前大多数高效SAT证明程序都基于该版本。在一些高度结构化的SAT实例中，例如众所周知的鸽子洞和厄克哈特问题，都被证明难以解决，ZRF性能非常好，在数量级上超过了所有经典SAT证明程序。
主页：	https://rd.springer.com/chapter/10.1007/10721959_35
相关软件：	糠；SATO公司；超小卫星；NiVER公司；TPTP公司；海尔雨果；二甲基丙烯酸甲酯；SatEx公司；布洛克；z3（零3）；化身；VAMPIRE公司；水獭；StarExec公司；折扣；E定理证明器；狮子座III；伊莎贝尔/HOL；帕拉库巴；基萨特
引用于：	12文件

1出版物描述软件，包括1出版物以zbMATH为单位	年份
ZRes：旧的Davis-Putnam程序符合ZBDD。 Zbl 0963.68534号菲利普·查塔利克；西蒙，劳伦特	2000

2	阿明·比尔
2	贾斯敏·克里斯蒂安·布兰切特
2	菲利普·查塔利克
2	Heule，Marijn J.H。
2	Laurent S.R.西蒙。
2	佩塔·武克米罗维奇
1	塔斯尼姆·纳赛尔·叶海亚
1	Randal E.布莱恩特。
1	尼古拉斯·埃恩
1	穆罕默德·埃尔巴奇尔·梅奈
1	阿列克谢·伊格纳提耶夫（Alexey A.Ignatyev）。
1	李楚敏
1	伊戈尔·马尔科夫。
1	新池敏人
1	DoRon B.莫特。
1	大卫·艾伦（David Alan），Plaisted
1	Jarrod A.罗伊。
1	Aleksandr Anatol’evich塞梅诺夫
1	朱云山