穆罕默德·埃尔·巴希尔·梅奈;塔斯尼姆·纳赛尔·叶海亚 部分Max-SAT精确方法的分类。 (英语) Zbl 1280.68243号 J.计算。科学。Technol公司。 28,第2期,232-246(2013).MSC公司:68T20型 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{M.E.B.Menai}和\textit{T.N.Al-Yahya},J.Compute。科学。Technol公司。28,第2号,232--246(2013年;兹bl 1280.68243) 全文: 内政部
陈振宇;徐宝文;丁德成 变量最小公式的复杂性。 (英语) Zbl 1196.68099号 下巴。科学。牛市。 55,第18期,1957-1960(2010).MSC公司:65年第68季度 2015年3月1日 PDF格式BibTeX公司 XML格式引用 \textit{Z.Chen}等人,Chin。科学。牛市。55,No.181957-1960(2010;Zbl 1196.68099) 全文: 内政部
汉斯·克莱恩·勃宁;赵西顺 量化布尔公式的缺陷和最小不满足性的推广。 (英语) Zbl 1145.68434号 J.满意。布尔模型。计算。 3,编号3-4115-123(2007).MSC公司:65年第68季度 03B05号 68T20型 PDF格式BibTeX公司 XML格式引用 \textit{H.Kleine Büning}和\textit{X.Zhao},J.Satisf。布尔模型。计算。3,编号3--4,115-123(2007;Zbl 1145.68434)
布鲁尼,雷纳托 关于最小不可满足子公式的精确选择。 (英语) Zbl 1099.68105号 安。数学。Artif公司。智力。 43,编号1-4,35-50(2005).MSC公司:第68页第27页 65年第68季度 第68页第15页 68T20型 PDF格式BibTeX公司 XML格式引用 \textit{R.Bruni},Ann.数学。Artif公司。智力。43,编号1--4,35-50(2005;Zbl 1099.68105) 全文: 内政部
斯泽德,斯特凡 具有有界子句变量差的最小不可满足公式是固定参数可处理的。 (英语) Zbl 1108.68065号 J.计算。系统。科学。 69,第4期,656-674(2004).MSC公司:65年第68季度 2015年第68季度 68兰特 PDF格式BibTeX公司 XML格式引用 \textit{S.Szeider},J.计算。系统。科学。69,第4号,656--674(2004;Zbl 1108.68065) 全文: 内政部 链接
汉斯·克莱恩·勃宁;赵西顺 关于几类极小不可满足公式的结构。 (英语) Zbl 1029.68078号 离散应用程序。数学。 130,第2期,185-207(2003).MSC公司:65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{H.Kleine Büning}和\textit{X.Zhao},离散应用。数学。130,第2号,185--207(2003;Zbl 1029.68078) 全文: 内政部
Kleine Büning,汉斯;赵西顺 一次读取分辨率的复杂性。 (英语) Zbl 1015.68081号 安。数学。Artif公司。智力。 36,第4期,419-435(2002).MSC公司:65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{H.Kleine Büning}和\textit{X.Zhao},Ann.数学。Artif公司。智力。36,第4号,419--435(2002;Zbl 1015.68081) 全文: 内政部
汉斯·克莱恩·勃宁 关于最小不可满足公式的子类。 (英语) Zbl 0965.03016号 离散应用程序。数学。 107,编号1-3,83-98(2000).MSC公司:03B35型 65年第68季度 03B05号 2015年3月1日 20层03 PDF格式BibTeX公司 XML格式引用 \textit{H.Kleine Büning},离散应用。数学。107,编号1--3,83-98(2000;Zbl 0965.03016) 全文: 内政部
Svante简森;Yannis C.Stamatiou。;马尔维纳·瓦姆瓦卡里 限定随机3-SAT的不满足阈值。 (英语) Zbl 0958.03028号 随机结构。算法 17,第2期,103-116(2000); 勘误表同上18,第1号,99-100(2001)。MSC公司:2015年3月1日 65年第68季度 03B05号 60二氧化碳 PDF格式BibTeX公司 XML格式引用 \textit{S.Janson}等人,《随机结构》。算法17,No.2,103--116(2000;Zbl 0958.03028) 全文: 内政部
穆罕默德·阿穆拉;梦露,新生儿 生成语义树以证明不可满足性的实用性。 (英语) Zbl 1001.68513号 国际期刊计算。数学。 62,第1-2号,第45-61页(1996年).MSC公司:65年第68季度 68问题55 68兰特 PDF格式BibTeX公司 XML格式引用 \textit{M.Almulla}和\textit{M.Newborn},国际计算机杂志。数学。62,编号1--2,45-61(1996;Zbl 1001.68513) 全文: 内政部
瓦舍克·查塔尔;恩德雷·斯泽梅雷迪 许多难以解决的例子。 (英语) Zbl 0712.03008号 J.助理计算。机器。 35,第4期,759-768(1988).MSC公司:03B35型 第68页第15页 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{V.Chvátal}和\textit{E.Szemerédi},J.Assoc.Compute。机器。35,编号4,759-768(1988年;兹bl 0712.03008) 全文: 内政部
伊万·克拉莫西尔;Šindelář,一月 Herbrand宇宙上概率搜索算法的计算复杂性。 (英语) Zbl 0561.68062号 计算。Artif公司。智力。 4, 97-108 (1985).MSC公司:第68页第15页 03B35型 03B10号机组 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{I.Kramosil}和\textit{J.Šindelá},计算。Artif公司。智力。4、97--108(1985年;Zbl 0561.68062)
普莱斯特德,大卫·A。 多元多项式在推理规则和不可满足性部分测试中的应用。 (英语) Zbl 0448.68022号 SIAM J.计算。 9, 698-705 (1980).MSC公司:第68页第15页 65年第68季度 20层03 03B05号 90C05(二氧化碳) 03B35型 2015年3月1日 PDF格式BibTeX公司 XML格式引用 \textit{D.A.Plaisted},SIAM J.计算机。9、698--705(1980;Zbl 0448.68022) 全文: 内政部