×

找到4个文档(结果1-4)

关于原始正公式中唯一性量化的强度。 (英语) Zbl 07561680号

Rossmanith,Peter(ed.)等人,第44届计算机科学数学基础国际研讨会,2019年MFCS,德国亚琛,2019月26日至30日。诉讼程序。Wadern:达格斯图尔宫(Schloss Dagstuhl)——莱布尼兹·泽特鲁姆(Leibniz-Zentrum für Informatik)。LIPIcs–莱布尼茨国际程序。通知。138,第36条,第15页(2019年)。
PDF格式BibTeX公司 XML格式引用

SAT问题的复杂性、克隆理论和指数时间假设。 (英语) Zbl 1423.68212号

Khanna,Sanjeev(编辑),第24届ACM-SIAM离散算法年度研讨会论文集,2013年SODA,美国洛杉矶新奥尔良,2013年1月6日至8日。宾夕法尼亚州费城:工业和应用数学学会(SIAM);纽约州纽约市:计算机机械协会(ACM)。1264-1277 (2013).
PDF格式BibTeX公司 XML格式引用
全文: 内政部

筛选结果依据…

文档类型

出版年份

主字段