根纳迪·达维多夫;伊纳达维多娃;Büning，汉斯·克莱恩 一类CNF子类最小不满足问题的有效算法。 （英语） Zbl 0913.68090号 安。数学。Artif公司。智力。 23，第3-4、229-245号（1998年）. 摘要：对于固定的（k），我们考虑了带（n+k）子句的变量上命题公式的最小不可满足性问题。我们将证明，在最多\（n\）子句的情况下，没有一个公式是最小不可满足的。对于（n+1）子句，最小不可满足性问题在二次时间内是可解的。进一步，我们利用矩阵的某种形式给出了带（n+1）子句的极小不可满足公式的一个特征。 引用于28文件 理学硕士： 68宽10 计算机科学中的并行算法 关键词：不可满足性问题 PDF格式BibTeX公司 XML格式引用 \textit{G.Davydov}等人，《数学年鉴》。Artif公司。因特尔。23，编号3--4，229--245（1998；Zbl 0913.68090） 全文： 内政部