随笔 - 260  文章 - 0  评论 - 0  阅读 - 52987 
01 2024 档案
cnf结构探索与应用的文献-归入cmt标签
摘要：最新的概述文献： On the Structure of the Boolean Satisfiability Problem: A Survey 对基于底层结构SAT相关技术进行了详细的介绍，相关引用文献十分完善，可以作为关于结构方面的检索手册使用。 @inproceedings{DBLP:con 阅读全文
posted @ 2024-01-25 11:44 海阔凭鱼跃越 编辑
金句记录
摘要：假定大家熟悉命题逻辑以及DP算法。 In the following discussions, we assume that the reader is familiar with propositional logic and the Davis-Putnam method [3]. 文献： 3. 阅读全文
posted @ 2024-01-23 19:42 海阔凭鱼跃越 编辑
关于变元极性选择策略
摘要：1.2023年最新的一篇文献 New Boolean satisfiability problem heuristic strategy: Minimal Positive Negative Product Strategy @article{DBLP:journals/corr/abs-2310- 阅读全文
posted @ 2024-01-22 13:23 海阔凭鱼跃越 编辑
有关子句化简(Clause simplification)的文献
摘要：一、 2021、2022年之前化简文献 2021-2022李初明老师团队的文章《Branching Strategy Selection Approach Based on Vivification Ratio》提到了关于化简的相关文献。 子句简化的方法可分为预处理和中处理两种。 最有效的预处理技术 阅读全文
posted @ 2024-01-20 18:51 海阔凭鱼跃越 编辑

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