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

下载PDF

导出

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

作者吴志华

机构地区漳州教育学院

出处《内江科技》 2007年第9期32-33,共2页

关键词 SAT算法码覆盖描述模型

参考文献1

1凌应标,吴向军,姜云飞.基于子句权重学习的求解SAT问题的遗传算法[J].计算机学报,2005,28(9):1476-1482. 被引量：15
2孟磊,周兰江.基于CNF权重学习求解3-SAT问题的进化算法[J].贵州大学学报（自然科学版）,2009,26(5):93-95.
3秦永彬,许道云.警示传播算法的原理分析及算法改进[J].计算机工程与应用,2010,46(19):1-6. 被引量：3
4秦永彬,张秋菊.基于关键文字的求解SAT问题的启发式算法[J].计算机与数字工程,2010,38(10):1-4. 被引量：1
5秦永彬,许道云,王晓峰.基于警示传播与DPLL算法的启发式极性决策算法[J].计算机科学,2010,37(12):178-181. 被引量：3
6胡显伟,任世军.基于函数变换的求解SAT问题的新算法[J].智能计算机与应用,2012,2(3):33-36. 被引量：3
7林智勇,郝志峰,刘海.基于学习的GSAT算法[J].华南理工大学学报（自然科学版）,2002,30(7):5-8. 被引量：1
8付慧敏,徐扬,何星星,宁欣然.基于任务分配与调度的GSAT算法求解3-SAT问题[J].计算机工程与科学,2018,40(8):1366-1374. 被引量：1
9莫孝玲,许道云.CNF公式赋值空间上可满足解的概率性质[J].计算机科学与探索,2018,12(11):1852-1861. 被引量：4
10邓雨春,杨士元,王红,薛月菊.在形式验证和ATPG中的布尔可满足性问题[J].计算机辅助设计与图形学学报,2003,15(10):1207-1212.

1丁怀宝,龚蓬,高凤,周飞.基于约束条件的组合测试用例集构建方法分析[J].电脑知识与技术（过刊）,2015,21(4X):1-2.
2傅阳春,周育人.基于寻找可满足2-SAT子问题的SAT算法[J].计算机应用研究,2010,27(2):462-464. 被引量：1
3焦加麟,韩晓峰,徐良贤.算法工程的思想、方法与工具——以SAT算法为研究实例[J].计算机科学,2003,30(9):11-13.
4范会波,张新有.一种基于信任模型的P2P快速搜索算法——SAT[J].计算机应用研究,2011,28(10):3861-3864. 被引量：1
5刘歆.SAT数据结构与组合测试生成[J].微电子学与计算机,2003,20(5):39-44. 被引量：5
6郭莹,张长胜,张斌.一种求解SAT问题的人工蜂群算法[J].东北大学学报（自然科学版）,2014,35(1):29-32. 被引量：6
7李韶华,张健.Survey Propagation:一种求解SAT的高效算法[J].计算机科学,2005,32(1):132-137. 被引量：5
8吕卫锋,张玉平.Experimental Study on Strategy of CombiningSAT Algorithms[J].Journal of Computer Science & Technology,1998,13(6):608-614.
9闫炜,吴尽昭,高新岩.基于符号模拟和变量划分的SAT算法[J].四川大学学报（工程科学版）,2008,40(3):121-125. 被引量：3
10张德富,黄文奇,汪厚祥.求解SAT问题的拟人退火算法[J].计算机学报,2002,25(2):148-152. 被引量：27

内江科技

2007年第9期

内容加载中请稍等...