Kleine Büning,汉斯;赵西顺 量化布尔公式的缺陷和最小不满足性的推广。 (英语) Zbl 1145.68434号 J.满意。布尔模型。计算。 3,编号3-4,115-123(2007).MSC公司:65年第68季度 03B05号 68T20型 PDF格式BibTeX公司 XML格式引用 \textit{H.Kleine Büning}和\textit{X.Zhao},J.Satisfe。布尔模型。计算。3,编号3--4,115-123(2007;Zbl 1145.68434)
Kleine Büning,汉斯;赵西顺 关于几类极小不可满足公式的结构。 (英语) 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) 全文: 内政部
汉斯·克莱恩·勃宁;赵西顺 只读解析的复杂性。 (英语) 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) 全文: 内政部