SAT问题中隐蔽集求解的改进

李淑霞; 龚茜茹; 谷文祥

首页> 中文期刊> 《微电子学与计算机》 >SAT问题中隐蔽集求解的改进

SAT问题中隐蔽集求解的改进

开具论文收录证明 >>

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

文献代查 >>

页面导航

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

摘要

隐蔽集(backdoor sets)作为隐藏结构的一种,能有效地提高难求解问题的求解效率,近年来成为人们研究的热点.隐蔽集中变量的赋值能有效减少SAT问题求解的搜索分支,从而减少问题求解的时间复杂度和空间复杂度.为提高SAT问题的求解效率,提出一种求解SAT问题隐蔽集的改进算法,并给出最小隐蔽集的定义.在该算法中加入启发式,使求解出的隐蔽集变量个数较少,最后给出隐蔽集问题的总结和展望.

著录项

来源
《微电子学与计算机》 |2014年第7期|65-68|共4页
作者
李淑霞; 龚茜茹; 谷文祥;
展开▼
作者单位

河南工业职业技术学院计算机工程系;

东北师范大学计算机学院;

展开▼
原文格式 PDF
正文语种 chi
中图分类人工智能理论;
关键词
SAT问题; 隐蔽集; 隐藏结构; 最小隐蔽集; 隐蔽集变量;

相似文献

中文文献
外文文献
专利

1. QBF问题中隐蔽集的求解过程 [J] . 杨俊成 ,陶琳 ,李淑霞 . 计算机系统应用 . 2016,第008期
2. 基于SAT求解器的故障树最小割集求解算法 [J] . 罗炜麟 ,魏欧 ,黄鸣宇 . 计算机工程与科学 . 2017,第004期
3. 用于求解正则(3,4)-SAT实例集的修正警示传播算法 [J] . 佘光伟 ,许道云 . 计算机科学 . 2018,第011期
4. 结合DOEC极小化策略的SAT求解极小碰集方法 [J] . 王荣全 ,欧阳丹彤 ,王艺源 . 计算机研究与发展 . 2018,第006期
5. 使用SAT求解器产生所有极小冲突部件集 [J] . 赵相福 ,欧阳丹彤 . 电子学报 . 2009,第004期
6. 修正的警示传播算法求解正则(3,4)-SAT实例集 [C] . Guangwei She ,佘光伟 ,Daoyun Xu . 2018年全国理论计算机科学学术年会 . -1
7. 改进蚁群算法在求解加权MAX-SAT问题中的应用 [A] . 李炳慧 . 2011

SAT问题中隐蔽集求解的改进

摘要

著录项

相似文献

相关主题

期刊订阅