基于参与冲突分析次数的动态学习子句评估策略

作者：孙菁; 钟小梅; 徐扬

来源：计算机应用研究, 2020, (10): 2902-2906.

DOI：10.19734/j.issn.1001-3695.2019.06.0205

• 可满足性问题
• 冲突分析
• 学习子句评估
• 学习子句删除 satisfiability problem
• conflict analysis
• learnt clause evaluation
• learnt clause reduction

针对现有学习子句评估策略的单一性,提出一种基于学习子句参与冲突分析次数的评估策略,并将该策略分别与经典的文字块距离评估策略和活跃值评估策略结合,形成两个动态学习子句评估策略。基于2018年SAT国际竞赛部分基准实例,将动态评估策略与原评估策略进行参数适应性对比实验,并通过2018和2017年的基准实例进行评估。结果表明动态评估策略能更好地评估学习子句的质量,由此生成的求解器在求解数量和速度方面表现出较好的求解性能。

• 单位
  数学学院; 西南交通大学