×

关于随机(k)-CNF公式不可满足性证明的复杂性。 (英语) Zbl 1028.68067号

98年STOC。1998年5月23日至26日在美国德克萨斯州达拉斯举行的第30届ACM计算理论年会论文集。纽约州纽约市:ACM,计算机协会。561-571 (1998).

MSC公司:

65年第68季度 算法和问题复杂性分析
PDF格式BibTeX公司 XML格式引用