重庆理工大学学报2020，Vol.34Issue(5) ：252-255.

基于子句长度的分支策略

Branching Strategy Based On Clause Length

杨晗 宋振明
重庆理工大学学报2020，Vol.34Issue(5) ：252-255.
✕
  • 国家科技期刊平台
  • NETL
  • NSTL
  • 万方数据

基于子句长度的分支策略

Branching Strategy Based On Clause Length

杨晗 1宋振明1
扫码查看

作者信息

  • 1. 西南交通大学 数学学院,成都 610000
  • 折叠

摘要

研究SAT问题不仅具有重要的理论意义,而且具有实际应用价值.设计高效的SAT问题的算法是国内外研究的热点.而分支策略是影响求解算法关键因素之一,目前大多数分支策略都是基于VSIDS策略提出的,虽然存在很多分支策略,但仍不能满足实际需要.为此,针对求解SAT问题实例会中出现子句长度不一致的情况,提出一种新的分支策略,基于子句长度的分支策略(BSBCL),并通过实验验证其有效性.

关键词

SAT问题/VSIDS/求解算法/分支策略/子句长度

引用本文复制引用

基金项目

国家自然科学基金(61673320)

出版年

2020
重庆理工大学学报
重庆理工大学

重庆理工大学学报

CSTPCD北大核心
影响因子：0.567
ISSN：1674-8425
参考文献量2
段落导航相关论文