DPLL算法
cs
algorithm
logic
tutorial
求解k-SAT问题的 DPLL 算法详解（C++实现）
