DPLL算法

DPLL算法在逻辑学和计算机科学中，（DPLL）算法是一种完整的、基于回溯的搜索算法，用于决定共轭正常形式下命题逻辑公式的可满足性，即用于解决CNF-SAT问题。...