Handbook of SAT_9_预处理

本章主要介绍了SAT问题的预处理技术，分别介绍了基于解析和冗余检测的两类算法。

原书籍 幻灯片