迈克尔·弗雷德曼。;列奥尼德·哈奇扬 单调析取范式对偶的复杂性。 （英语） Zbl 0864.68038号 J.算法 21，第3期，618-628（1996）. 摘要：我们证明了大小为（n）的一对单调析取范式的对偶性可以在（n^{o（logn）}）时间内进行检验。 引用于9评论引用于134文件 MSC公司： 65年第68季度 算法和问题复杂性分析 68卢比 计算机科学中的组合数学 关键词：单调析取范式 PDF格式BibTeX公司 XML格式引用 \textit{M.L.Fredman}和\textit{L.Khachiyan}，J.算法21，第3期，618--628（1996；Zbl 0864.68038） 全文： 内政部 链接