基于子句长度的分支策略

• 作者: 宋振明 杨晗
• 来源期刊: 重庆理工大学学报（自然科学版）
• 学科: 工学
• 关键词: SAT问题 VSIDS 求解算法 分支策略 子句长度
• 年，卷（期）: 2020,（5）
• 所属期刊栏目: 数学·统计学
• 页码范围: 252-255
• 页数: 4页
• 分类号: TP181
• 字数: 2601字
• 语种: 中文
• DOI: 10.3969/j.issn.1674-8425(z).2020.05.033

摘要

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

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	宋振明	西南交通大学数学学院	35	160	7.0	11.0
2	杨晗	西南交通大学数学学院	36	73	5.0	7.0