会员
周边
捐助
新闻
博问
闪存
赞助商
Chat2DB
所有博客
当前博客
我的博客
我的园子
账号设置
简洁模式
...
退出登录
注册
登录
海阔凭鱼跃越
博客园
首页
新随笔
联系
管理
订阅
2022年5月21日
训练营作业将microsat改进为microsat_Scave
摘要: 最近参加了2022约束求解基础与应用训练营,受益良多。感谢包括蔡少伟教授在内的全体组织者。将其中完成的一项作业发布到这里,做阶段小结的备查资料。 一、改进说明 本人阅读并了解 CDCL 求解器 microsat 的代码,按照课程作业要求将microsat改进为microsat_Scavel。主要改进
阅读全文
posted @ 2022-05-21 13:49 海阔凭鱼跃越
阅读(310)
评论(0)
推荐(0)
编辑
公告