Handbook of SAT_5_Look-Ahead SAT求解器

本章主要介绍了Look-Ahead SAT求解器的基本组织结构，主要为基于DPLL的启发策略。

原书籍 幻灯片