Handbook of SAT_4_CDCL SAT求解器

本章主要介绍了CDCL SAT求解器的基本组织结构，主要为冲突分析等。

原书籍 幻灯片