托拜厄斯·布鲁格曼;沃尔特·科恩 一种改进的3-SAT确定性局部搜索算法。 （英语） Zbl 1086.68051号 西奥。计算。科学。 329，编号1-3，303-313（2004）. 小结：我们略微改进了E.丹钦等人【Theor.Comput.Sci.289，第1号，69–83（2002；Zbl 1061.68071号)]获得3-SAT的（mathcal O^*（1.473^n））确定性算法。 引用于14文件 理学硕士： 65年第68季度 算法和问题复杂性分析 68瓦05 非数值算法 关键词：精确算法;本地搜索;3-SAT（3-SAT） 引文：Zbl 1061.68071号 PDF格式BibTeX公司 XML格式引用 \textit{T.Brueggemann}和\textit{W.Kern}，Theor。计算。科学。329，编号1--3，303--313（2004；Zbl 1086.68051） 全文： 内政部 链接 参考文献： [1] Dantsin，E。；Goerdt，A。；赫希，E.A。；Kannan，R。；Kleinberg，J。；Papadimitriou，C。；拉加万，O。；Schöning，U.，基于局部搜索的（k-）-SAT确定性算法，Theoret。计算。科学。，289, 69-83 (2002) ·Zbl 1061.68071号 [2] Hofmeister，T。；美国施宁。；舒勒，R。；Watanabe，O.，《进一步改进的概率3-SAT算法》（Alt，H.；Ferreira，A.，STACS 2002，计算机科学讲义，第2285卷（2002），Springer:Springer Berlin，Heidelberg），192-202·Zbl 1054.68138号 [3] K.Iwama，S.Tamaki，《3-SAT改进上限》，载于：ECCC系列讲稿，计算复杂性电子讨论会，第53卷，特里尔大学，2003年。；K.Iwama，S.Tamaki，《3-SAT改进上限》，载于：ECCC系列讲稿，计算复杂性电子座谈会，第53卷，特里尔大学，2003年。 [4] Schöning，U.，基于有限局部搜索和重启的（k）-SAT概率算法，Algorithmica，32615-623（2002）·Zbl 1050.68049号 此参考列表基于出版商或数字数学图书馆提供的信息。它的项目与zbMATH标识符启发式匹配，并且可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不声称其完整性或完全匹配。