重庆理工大学学报（自然科学）

重庆理工大学学报（自然科学） ›› 2020, Vol. 34 ›› Issue (5): 252-255.doi: 10.3969/j.issn.1674-8425(z).2020.05.033

• 数学·统计学 • 上一篇    下一篇

基于子句长度的分支策略

杨 晗,宋振明   

  1. 西南交通大学数学学院,成都 610000
  • 发布日期:2020-06-13
  • 作者简介:杨晗，女，硕士研究生，主要从事智能化信息处理研究，Ｅ-ｍａｉｌ：１６５９１１６１２１＠ｑｑ．ｃｏｍ；宋振明，男，教授，博士，主要从事智能化信息处理研究，Ｅ-ｍａｉｌ：ｚｈｍｓｏｎｇ＠ｈｏｍｅ．Ｓｗｊｔｕ．ｅｄｕ．ｃｎ。
  • 基金资助:
    国家自然科学基金项目“基于矛盾体分离的动态自动演绎推理研究”(61673320)

  • Published:2020-06-13

PDF (PC)

167

赞

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

关键词: ＳＡＴ问题, ＶＳＩＤＳ, 求解算法, 分支策略, 子句长度

中图分类号: 

  • TP181