DPLL算法 编辑
DPLL算法，是一种完备的、以回溯为基础的算法，用于解决在合取范式中命题逻辑的布尔可满足性问题；也就是解决CNF-SAT问题。
2