黄文奇;张德福;王厚祥 一种基于禁忌搜索的可满足性问题的算法。 （英语） Zbl 1005.68049号 J.计算。科学。Technol公司。 17，第3期，340-346（2002）. 摘要：提出了一种基于禁忌搜索的求解卫星不可分辨性问题（TSSAT）的计算有效算法。提出了一些新颖有效的启发式策略，用于生成当前分配的候选邻域和选择要翻转的变量。特别是，TSSAT的期望准则和禁忌列表结构与传统禁忌搜索不同。对一类问题实例的计算实验表明，TSSAT在合理的计算机时间内，比目前已知速度最快的Novelty产生更好的结果。因此，TSSAT是可行和有效的。 引用于4文件 MSC公司： 68页第10页 搜索和排序 68瓦05 非数值算法 65年第68季度 算法和问题复杂性分析 关键词：禁忌搜索算法;可满足性问题 软件：DIMACS公司;禁忌搜索 PDF格式BibTeX公司 XML格式引用 \textit{W.Huang}等人，J.Compute。科学。Technol公司。17，第3号，340--346（2002；Zbl 1005.68049） 全文： 内政部 参考文献： [1] 李伟、黄雄。命题逻辑可满足性算法分析。计算机科学，1999，26（3）：1-9·Zbl 1084.68889号 [2] Gent I P，Walsh T。寻求满足。http://dream.dai.ed.ac.uk/group/tw/sat/, 1999. [3] Davis M，Putnam H.量化理论的计算程序。ACM杂志，1960年，7:201–215·Zbl 0212.34203号 ·数字对象标识代码：10.1145/321033.321034 [4] Selman B，Levesque H，Mitchell D。解决难满足性问题的一种新方法。《第十届全国人工智能会议论文集》，美国人工智能协会，1992年，第440-446页。 [5] Gu J.大规模可满足性问题的高效局部搜索。SIGART公报，1992，3（1）：8-12·数字对象标识代码：10.1145/130836.130837 [6] Gent I P，Walsh T。GSAT中搜索的实证分析。《人工智能研究杂志》，1993年，1:47-59·Zbl 0900.68178号 [7] 李伟、黄文琦。一种求解合取范式可满足性问题的物理-数学方法。中国科学（A辑），1994，24（11）：1208–1217。 [8] Selman B，Kautz H，Cohen B.改进局部搜索的噪声策略。《美国人工智能协会第十二届全国会议论文集》，1994年，第337-343页。 [9] Spears W M。硬可满足性问题的模拟退火。《团、着色和可满足性：第二次DIMACS实施挑战》，Johnson D S，Trick M A（编辑），1996年，第533–558页。《离散数学和理论计算机科学DIMA CS系列》，第26卷，美国数学学会·Zbl 0864.90094号 [10] Mazure B，Sais L，Gregoire E.Tabu搜索SAT。第14届全国人工智能会议论文集，美国人工智能协会，AAAI出版社/麻省理工学院出版社，1997年，第281-285页。 [11] 黄文奇、金仁超。解决SAT问题的准物理拟人算法——太阳。中国科学（E辑），1997，27（2）：179-186。 [12] McAllester D，Selman B，Kautz H。局部搜索中不变量的证据。《美国人工智能协会第14届全国人工智能会议论文集》，1997年，第321-327页。 [13] Glover F，Laguna M.Tabu搜索。Kluwer学术出版社，波士顿，1997年。 [14] 霍尔格·胡斯（Holger H Hoos），托马斯·斯图策尔（Thomas Stützle）。SAT随机局部搜索算法的行为特征。人工智能，1999，112（1/2）：213-232·兹比尔0996.68069 ·doi:10.1016/S0004-3702（99）00048-X [15] Mitchell D、Selman B、Levesque H J.SAT问题的难易分布。InProc.公司。AAAI-92，加利福尼亚州圣何塞，1992年，第459-465页。 此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。