节点文献
基于子句LBD值的分支策略
【机构】 西南交通大学数学学院；
【摘要】 研究可满足性问题(SAT问题)可以帮助解决计算机科学理论与应用中的实际问题,例如人工智能等。分支策略是SAT求解器中关键的一部分,VSIDS(Variable State Independent Decaying Sum)策略及其在它基础上的一些改进策略是目前比较重要的分支策略。本文充分考虑到评估学习子句质量法(LBD)对变量得分的影响,并将冲突有关的量分为两类,提出了一种新的启发式分支策略,即基于子句LBD值的分支策略。
- 【会议录名称】 2018中国信息通信大会论文摘要集
- 【会议名称】2018中国信息通信大会(CICC 2018)
- 【会议时间】2018-12-14
- 【会议地点】中国四川成都
- 【分类号】TP18;TP391.1
- 【主办单位】中国通信学会、四川省经济和信息化厅、四川省通信管理局、四川省科学技术协会、成都市政府