Handbook of SAT_6_不完备算法

本章主要介绍了不完备的SAT求解算法，主要基于随机局部搜索，引出了新的调查传播算法，主要在本书第22章介绍。

原书籍 幻灯片