###
计算机系统应用:2020,29(3):200-205
本文二维码信息
码上扫一扫!
基于变量混合特征的分支启发式策略
(1.西南交通大学 数学学院, 成都 611756;2.
西南交通大学 系统可信性自动验证国家地方联合工程实验室, 成都 611756)
Branching Heuristic Strategy Based on Variable Mixing Features
(1.School of Mathematics, Southwest Jiaotong University, Chengdu 611756, China;2.
National-Local Joint Engineering Laboratory of System Credibility Automatic Verification, Southwest Jiaotong University, Chengdu 611756, China)
摘要
图/表
参考文献
相似文献
本文已被:浏览 89次   下载 52
投稿时间:2019-07-16    修订日期:2019-08-22
中文摘要: 先进的SAT求解器能够通过有效的分支启发式策略解决大型应用实例.目前VSIDS策略是最具有代表性的基于冲突分析的分支策略,它因其稳健性而被广泛使用,但在每次冲突分析中其判定变量活性的增量方式过于单一.针对此问题,本文提出了一种基于变量混合特征的分支启发式算法,目的是充分地利用参与冲突分析的变量所携带的不同信息特征来区分变量,来进一步指导变量活性增长.并将所提出的分支策略算法嵌入到Glucose4.1中形成求解器Glucose4.1+MFBS,通过对比测试,实验结果表明改进的分支算法比原本的VSIDS策略,具有一定的优势,求解明显个数增加.
Abstract:Advanced SAT solvers solve large application instances with efficient branching heuristics. At present, the VSIDS strategy is the most representative branching strategy based on conflict analysis. It is widely used because of its robustness. However, in each conflict analysis, the incremental method of determining the variable activity is too single. To solve this problem, this study proposes a branch heuristic algorithm based on variable mixing features. The purpose is to fully utilize the different information features carried in the variables involved in conflict analysis to distinguish variables, and further guide the variable activity growth. The proposed branching strategy algorithm is embedded into Glucose4.1 to form the solver Glucose4.1+MFBS. Through experimental comparison and analysis, the experimental results show that the improved branching algorithm has certain advantages over the original VSIDS strategy, and the number of solutions increases obviously.
文章编号:     中图分类号:    文献标志码:
基金项目:国家自然科学基金(61673320)
引用文本:
艾森阳,宋振明,沈雪.基于变量混合特征的分支启发式策略.计算机系统应用,2020,29(3):200-205
AI Sen-Yang,SONG Zhen-Ming,SHEN Xue.Branching Heuristic Strategy Based on Variable Mixing Features.COMPUTER SYSTEMS APPLICATIONS,2020,29(3):200-205

用微信扫一扫

用微信扫一扫