2022年3月20日
编译笔记——组合求解器cmsatv56-yalsat编译及测试
摘要： 研读该程序的目的：（1）组合两个以上求解器的程序代码组织；（2）cmake的代码编写和阅读 1.下载cmsatv56-yalsat 2.在编译窗口切换到文件夹cmsatv56-yalsat路径下，运行命令./starexec_build2，自动建立文件夹build并得到编译后的exe程序。编译过程屏 阅读全文
posted @ 2022-03-20 22:57 海阔凭鱼跃越 阅读(73) 评论(0) 推荐(0)
具体技术-restart 文献阅读Evaluating CDCL Restart Schemes
摘要： Evaluating CDCL Restart Schemes Published: March 15, 2019 Armin Biere and Andreas Fröhlich 本文可以看做是对之前重启策略的一个回顾、确认及展望。 Abstract Modern CDCL (conflict-d 阅读全文
posted @ 2022-03-20 21:55 海阔凭鱼跃越 阅读(117) 评论(0) 推荐(0)