随笔 - 260  文章 - 0  评论 - 0  阅读 - 52987 

随笔分类 -  基本概念

SAT与max相关基本概念解释
BCP的基本实现演示
该文被密码保护。
posted @ 2022-09-04 17:40 海阔凭鱼跃越 编辑
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 海阔凭鱼跃越 编辑
sat相关的集中文件格式类型说明
摘要：DIMACS File format The benchmark file format will be in a simplified version of the DIMACS format: cc start with commentscc p cnf 5 31 -5 4 0-1 5 3 4 阅读全文
posted @ 2022-03-21 15:21 海阔凭鱼跃越 编辑

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