求解SAT问题的分级重排搜索算法

刘涛; 李国杰

首页> 中文期刊> 《软件学报》 >求解SAT问题的分级重排搜索算法

求解SAT问题的分级重排搜索算法

开具论文收录证明 >>

期刊封面封底目录下载 >>

文献代查 >>

页面导航

摘要
著录项
相似文献
相关主题

摘要

局部搜索法在ＳＡＴ问题上的成功运用已引起越来越广泛的重视，然而，它在面对不可满足问题例时的局限性不能不被考虑。分级重排搜索算法ＭＳＲＡ正是为克服局部搜索法的不完备性而提出的，准确地讲，它是几种算法在思想上的集成，但为明确起见，把其最典型的分级重排过程作为名称，分级重排搜索算法在求解ＳＡＴ问题时，能表现出优于单一求解策略（如局部搜索法或回溯算法）的明显特性。由于可根据约束条件的强弱来估计ＳＡ问题例的

著录项

来源
《软件学报》 |1996年第4期|201-210|共10页
作者
刘涛; 李国杰;
展开▼
作者单位

不详;

不详;

展开▼
原文格式 PDF
正文语种 CHI
中图分类算法理论;
关键词
SAT问题; 局部搜索法; MSRA; 算法;

相似文献

中文文献
外文文献
专利

1. 一个求解结构SAT问题的高效局部搜索算法 [J] . 梁东敏 ,吴晔 ,马绍汉 . 计算机学报 . 1998,第0z1期
2. 求解SAT问题的似人下降搜索算法 [J] . 赵天玉 ,黄文奇 . 石油天然气学报 . 1997,第001期
3. 求解SAT问题的局部搜索算法及其平均时间复杂性分析 [J] . 刘涛 ,李国杰 . 计算机学报 . 1997,第001期
4. MAX-SAT问题的一种改进的禁忌搜索算法 [J] . 刘飞 . 福建电脑 . 2013,第002期
5. MAX-SAT问题一种改进的局部搜索算法 [J] . 赵同昇 ,朱文兴 . 计算机工程与科学 . 2008,第011期
6. PSA_SAT:求解SAT问题的退火算法并行研究 [C] . 王鹤 ,卢凯 . 2010年全国软件与应用学术会议(NASAC2010) . 2010
7. 基于深度学习的SAT问题随机局部搜索算法 [A] . 刘京 . 2021

求解SAT问题的分级重排搜索算法

摘要

著录项

相似文献

相关主题

期刊订阅