×
马雷克·赛根;戴尔、霍尔格;丹尼尔·洛克斯塔诺夫;达尼尔·马克思;杰斯珀·奈德洛夫;冈本义雄;拉莫汗，帕图里;萨科特·索拉布;瓦尔斯特伦，马格纳斯

关于像CNF-SAT这样困难的问题。 （英语） Zbl 1442.68064号

ACM事务处理。算法 第12号第3条第41条第24页（2016年）.

引用于三评论
引用于50文件

MSC公司：

2017年第68季度 问题的计算难度（下限、完备性、近似难度等）
68卢比 计算机科学中的组合数学
68兰特 可满足性的计算方面
68兰特 计算机科学中的图论（包括图形绘制）
68瓦40 算法分析

关键词：

最佳增长率;减少;可满足性;强指数时间假设

引文：

Zbl 0990.68079号
PDF格式BibTeX公司 XML格式引用
\textit{M.Cygan}等人，ACM Trans。算法12，第3号，第41条，24页（2016；Zbl 1442.68064）
全文： 内政部 arXiv公司 链接