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

来源：计算机应用研究杂志2020年第10期北京时间：

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

单位：1.西南交通大学数学学院,成都610031；2.系统可信性自动验证国家地方联合工程实验室,成都610031；

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

关键词：可满足性问题,冲突分析,学习子句评估,学习子句删除,

基金资助：国家自然科学基金资助项目(61673320)；；