2022年5月21日
训练营作业将microsat改进为microsat_Scave
摘要： 最近参加了2022约束求解基础与应用训练营，受益良多。感谢包括蔡少伟教授在内的全体组织者。将其中完成的一项作业发布到这里，做阶段小结的备查资料。 一、改进说明 本人阅读并了解 CDCL 求解器 microsat 的代码，按照课程作业要求将microsat改进为microsat_Scavel。主要改进 阅读全文
posted @ 2022-05-21 13:49 海阔凭鱼跃越 阅读(310) 评论(0) 推荐(0) 编辑