2021年7月27日
2021求解器竞赛总结学习笔记（未完）
摘要： 一、SLIME SAT Solver 1.关注变元的赋值时一项重要工作 （1）在重启阶段考虑规划所有变元的极性，使之最接近目标赋值。采用的方法比较特殊。 We improve the restart stage with a reconfiguration ofpreassigned polarit 阅读全文
posted @ 2021-07-27 10:57 海阔凭鱼跃越 阅读(319) 评论(0) 推荐(0) 编辑