2024年4月24日 分类于 SAT问题, Handbook of SAT 需要 1 分钟阅读时间 Handbook of SAT_22_与统计物理学的联系 本章主要介绍了随机SAT问题与统计物理学的联系，并对不完备算法最后提到的调查传播算法进行了补充。 原书籍 幻灯片
2024年4月23日 分类于 SAT问题, Handbook of SAT 需要 1 分钟阅读时间 Handbook of SAT_9_预处理 本章主要介绍了SAT问题的预处理技术，分别介绍了基于解析和冗余检测的两类算法。 原书籍 幻灯片
2024年4月5日 分类于 SAT问题, Handbook of SAT 需要 1 分钟阅读时间 Handbook of SAT_6_不完备算法 本章主要介绍了不完备的SAT求解算法，主要基于随机局部搜索，引出了新的调查传播算法，主要在本书第22章介绍。 原书籍 幻灯片
2024年4月2日 分类于 SAT问题, Handbook of SAT 需要 1 分钟阅读时间 Handbook of SAT_5_Look-Ahead SAT求解器 本章主要介绍了Look-Ahead SAT求解器的基本组织结构，主要为基于DPLL的启发策略。 原书籍 幻灯片
2024年3月29日 分类于 SAT问题, Handbook of SAT 需要 1 分钟阅读时间 Handbook of SAT_1_SAT的历史 本章主要介绍了逻辑学的起源与发展，SAT的出现以及SAT相关的知识。 原书籍 幻灯片
2024年3月14日 分类于 SAT问题, Handbook of SAT 需要 1 分钟阅读时间 Handbook of SAT_4_CDCL SAT求解器 本章主要介绍了CDCL SAT求解器的基本组织结构，主要为冲突分析等。 原书籍 幻灯片
2024年3月12日 分类于 SAT问题, Handbook of SAT 需要 1 分钟阅读时间 Handbook of SAT_3_完备算法 本章主要介绍了三类完备的SAT求解算法，分别是存在量化、逻辑推理和系统搜索。并简单介绍了目前主流求解器使用的搜索与推理结合的算法，介绍了DPLL和DPLL+两个具体算法。 原书籍 幻灯片