保罗·比姆;理查德·卡普;托尼安·皮塔西;萨克斯,迈克尔 关于随机(k)-CNF公式不可满足性证明的复杂性。 (英语) Zbl 1028.68067号 98年STOC。1998年5月23日至26日在美国德克萨斯州达拉斯举行的第30届ACM计算理论年会论文集。纽约州纽约市:ACM,计算机协会。561-571 (1998). 引用于13文件 MSC公司: 65年第68季度 算法和问题复杂性分析 关键词:不可满足性;随机\(k\)-CNF公式 PDF格式BibTeX公司 XML格式引用 \textit{P.Beame}等人,载于:1998年STOC第30届ACM计算理论研讨会论文集。美国德克萨斯州达拉斯,1998年5月23日至26日。纽约州纽约市:ACM,计算机协会。561--571(1998年;Zbl 1028.68067)