计算机应用研究

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

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

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

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

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

来源：2020年第10期

《计算机应用研究》期刊编辑部

查看计算机应用研究杂志2020年第10期