随笔 - 260  文章 - 0  评论 - 0  阅读 - 52987 
01 2023 档案
文献学习——A Deep Dive into Conflict Generating Decisions
摘要：A Deep Dive into Conflict Generating Decisions Md. Solimul Chowdhury, Martin Müller, Jia-Huai You:A Deep Dive into Conflict Generating Decisions. CoRR 阅读全文
posted @ 2023-01-01 22:47 海阔凭鱼跃越 编辑
sat初学入门资料2022-12
摘要：1. GlueMiniSatPPT-nabeshima.pdf A fast SAT solver with an aggressive acquiring strategy of glue clauses 早期求解器资料，涉及基本概念、BCP工作示意图、冲突分析蕴含图的图示。 也可以参见另一位网友 阅读全文
posted @ 2023-01-01 16:35 海阔凭鱼跃越 编辑

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