首页> 中文期刊> 《内江科技》 >SAT算法解决码覆盖问题之探讨

SAT算法解决码覆盖问题之探讨

开具论文收录证明 >>

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

文献代查 >>

页面导航

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

摘要

本文讨论了SAT算法在码覆盖问题上的应用.首先将码覆盖问题转化为用合取范式描述的问题,而后运用一个著名的SAT问题的算法--WalkSAT的思想来解决该问题.

著录项

来源
《内江科技》 |2007年第9期|32-33|共2页
作者
吴志华;
展开▼
作者单位

漳州教育学院;

展开▼
原文格式 PDF
正文语种 chi
中图分类计算技术、计算机技术;
关键词
SAT算法; 码覆盖; 描述; 模型;

相似文献

中文文献
外文文献
专利

1. 基于遗传算法的3-SAT问题的解决方案 [J] . 黄达尧 ,余峰 . 现代计算机（专业版） . 2005,第004期
2. 基于寻找可满足2-SAT子问题的SAT算法 [J] . 傅阳春 ,周育人 . 计算机应用研究 . 2010,第002期
3. 应用基因概率学习算法求解最小码覆盖问题 [J] . 林大瀛 ,郝志峰 ,舒蕾 . 华南理工大学学报（自然科学版） . 2003,第006期
4. 求解最小码覆盖问题的实验算法 [J] . 郝志峰 ,邹波涛 ,许勇 . 计算机工程与应用 . 2001,第001期
5. 基于DLA的调度算法解决定向传感器网络连接目标覆盖问题 [J] . 陈超 ,周静 ,万懿 . 计算机应用研究 . 2015,第010期
6. PSA_SAT:求解SAT问题的退火算法并行研究 [C] . 王鹤 ,卢凯 . 2010年全国软件与应用学术会议(NASAC2010) . 2010
7. 用遗传算法解决3—SAT问题 [A] . 田华 . 2006

获取原文

客服邮箱：kefu@zhangqiaokeyan.com

京公网安备：11010802029741号 ICP备案号：京ICP备15016152号-6 六维联合信息科技 (北京) 有限公司©版权所有

客服微信
服务号