DPLL算法

DPLL算法（DPLL algorithm），计算机科学技术名词，由戴维斯（Davis）、帕特南（Putnam）、朗曼（Longmann）和洛夫兰（Loveland）提出的，基于回溯算法来判定命题逻辑合取范式可满足性的一种完备算法。包括纯文字规则、单文字规则和分裂规则等。