首页> 中文期刊>计算机与数字工程 >基于关键文字的求解SAT问题的启发式算法

基于关键文字的求解SAT问题的启发式算法

开具论文收录证明 >>

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

页面导航

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

摘要

逻辑公式的可满足问题的求解方法是近几年研究的重点,通过对逻辑公式的关键文字和骨干变元集的研究与分析,使用启发式算法寻找公式的关键文字,在公式化简中引入关键文字规则,给出了一种新的求解SAT问题的启发式算法.

著录项

来源
《计算机与数字工程》|2010年第10期|1-4|共4页
作者
秦永彬; 张秋菊;
展开▼
作者单位

贵州大学计算机科学与信息学院,贵阳,550025;

贵州大学计算机科学与信息学院,贵阳,550025;

展开▼
原文格式 PDF
正文语种 chi
中图分类算法理论;
关键词
关键文字; 骨干变元集; 可满足(SAT); 启发式算法;

相似文献

中文文献
外文文献
专利

1. 基于动态奖惩的CDCL SAT求解器分支启发式算法 [J] . 陈秀兰 ,刘婷 . 计算机工程与科学 . 2019,第003期
2. 求解多文字可满足SAT问题的置信传播算法 [J] . 芦磊 ,王晓峰 ,牛鹏飞 . 计算机应用研究 . 2021,第009期
3. 基于子句的动态检查强制文字的SAT求解器 [J] . 常文静 ,徐扬 . 计算机工程与科学 . 2019,第002期
4. 两种新的基于扩展规则#SAT问题求解算法 [J] . 吕帅 ,张桐搏 ,王强 . 东北大学学报（自然科学版） . 2019,第005期
5. 基于OpenMP的并行遗传算法求解SAT问题 [J] . 吴贯锋 ,徐扬 ,常文静 . 西南交通大学学报 . 2019,第002期
6. PSA_SAT:求解SAT问题的退火算法并行研究 [C] . 王鹤 ,卢凯 . 2010年全国软件与应用学术会议(NASAC2010) . 2010
7. CDCL SAT求解器中的分支变量启发式算法研究 [A] . 赵玉娟 . 2017

获取原文

客服邮箱：kefu@zhangqiaokeyan.com

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

客服微信
服务号