汉斯·克莱恩·勃宁;赵西顺 关于几类极小不可满足公式的结构。 （英语） Zbl 1029.68078号 离散应用程序。数学。 130，第2期，185-207（2003）. 摘要：我们研究了在分裂下闭的极小不可满足公式类。对于边缘公式，证明了它与某些自然类公式的等价性。此外，我们还证明了极大公式与所谓的击中公式密切相关。这是任何两个子句都包含一对互补文字的公式。 引用于7文件 MSC公司： 65年第68季度 算法和问题复杂性分析 关键词：命题公式;最低不满意度;最大值公式;边际公式;公式的拆分 PDF格式BibTeX公司 XML格式引用 \textit{H.Kleine Büning}和\textit{X.Zhao}，离散应用。数学。130，第2号，185--207（2003；Zbl 1029.68078） 全文： DOI程序 参考文献： [1] 阿哈罗尼，R。；Linial，N.，最小非双色超图和最小不可满足公式，《组合理论》，43，196-204（1986）·Zbl 0611.05045号 [2] 克瓦塔尔，V。；Szemeredi，T.，《解决问题的许多硬性例子》，J.ACM，35，759-768（1988）·Zbl 0712.03008号 [3] 达克维斯，M。；洛格曼，G。；Loveland，D.，定理证明的机器程序，通信ACM，5394-397（1962）·Zbl 0217.54002号 [4] Davis，M。；Putnam，H.，量化理论的计算程序，J.ACM，7201-215（1960）·Zbl 0212.34203号 [5] 达维多夫，G。；达维多娃，I。；Kleine Büning，H.，CNF的一个子类的最小不可满足性问题的一种有效算法，数学年鉴。Artif公司。智力。，23, 229-245 (1998) ·Zbl 0913.68090号 [6] Haken，A.，《难以解决的问题》，Theoret。计算。科学。，39, 297-308 (1985) ·Zbl 0586.03010号 [7] Iwama，K.，通过计数和多项式平均时间进行的CNF可满足性测试，SIAM J.Compute。，18, 385-391 (1989) ·Zbl 0674.68034号 [8] Kleine Büning，H.，关于最小不可满足公式的子类，离散应用。数学。，107, 83-98 (2000) ·Zbl 0965.03016号 [9] O.Kullmann，拟阵理论在SAT问题中的应用，收录于：IEEE第15届计算复杂性年会，IEEE计算机学会，2000年7月，第116-124页。；O.Kullmann，拟阵理论在SAT问题中的应用，收录于：IEEE第15届计算复杂性年会，IEEE计算机学会，2000年7月，第116-124页。 [10] Papadimitriou，C.H。；Wolfe，D.，《解析面的复杂性》，J.Compute。系统科学。，37, 2-13 (1988) ·Zbl 0655.68041号 [11] Urquhart，A.，《解决方案的硬示例》，J.ACM，34，209-219（1987）·Zbl 0639.68093号 此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。