汉斯·克莱恩·勃宁 关于最小不可满足公式的子类。 (英语) 兹伯利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) 全文: 内政部
斯万特·简森;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) 全文: 内政部