2022年6月20日
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 海阔凭鱼跃越 阅读(29) 评论(0) 推荐(0) 编辑