2020年6月30日
决策变元选择_决策分支策略——文献学习SAT Solving with Reference Points
摘要： 要点：使用DMRP algorithm (decision making with a reference point)在重启阶段为解决问题提供好的方向。 引文来自： Kottler S. (2010) SAT Solving with Reference Points. In: Strichman 阅读全文
posted @ 2020-06-30 18:47 海阔凭鱼跃越 阅读(408) 评论(0) 推荐(0) 编辑