随笔 - 260  文章 - 0  评论 - 0  阅读 - 52987 
06 2022 档案
Freezing and Reactivating Learnt Clauses相关知识笔记
该文被密码保护。
posted @ 2022-06-28 16:18 海阔凭鱼跃越 编辑
sat-solver常见编译错误
摘要：1.MapleCOMSPS_LRB_VSIDS 1 /cygdrive/d/studySAT2022_06/MapleCOMSPS_LRB_VSIDS_no_drup/MapleCOMSPS_LRB_VSIDS/simp/Main.cc:43: undefined reference to `Min 阅读全文
posted @ 2022-06-21 11:22 海阔凭鱼跃越 编辑
duplicate learnts version相关知识笔记
摘要：文献： Stepan Kochemazov, Oleg Zaikin, Alexander A. Semenov, Victor Kondratiev:Speeding Up CDCL Inference with Duplicate Learnt Clauses. ECAI 2020: 339-3 阅读全文
posted @ 2022-06-20 10:05 海阔凭鱼跃越 编辑

点击右上角即可分享
微信分享提示