DPLL（Davis-Putnam-Logemann-Loveland）算法，是一种完备的、以回溯为基础的算法，用于解决在合取范式（CNF）中命题逻辑的布尔可满足性问题；也就是解决CNF-SAT问题。
它在1962年由马丁·戴维斯、希拉里·普特南、乔治·洛吉曼和多纳·洛夫兰德共同提出，作为早期戴维斯-普特南算法的一种改进。戴维斯-普特南算法是戴维斯与普特南在1960年发展的一种算法。
DPLL是一种高效的程序，并且经过40多年还是最有效的SAT解法，以及很多一阶逻辑的自动定理证明的基础。
首页 >
DPLL算法
✍ dations ◷ 2025-04-18 22:36:19 #自2011年8月需要计算机科学专家关注的页面,算法,逻辑
相关
- 同位素同位素（英语：Isotope）是某种特定化学元素之下的不同种类，同一种元素下的所有同位素都具有相同质子数目，但中子数目不同。这些同位素在化学元素周期表中占有同一个位置，因此得名。
- BBC体育BBC体育（BBC Sport）是英国广播公司的体育节目制作部门。自2006年9月开始，BBC体育开始播出高清电视节目。除了体育节目的直播之外，BBC体育也制作各种体育新闻类的节目。BBC拥有温
- 智能流体智能流体（英语：smart fluids）指的是用电场或磁场可以改变其流动性能（主要为粘滞系数）的流体。智能流体分为二大类；电流变液和磁流变液。电流变液一般是由半导体颗粒在介电质油中组
- 加兰他敏加兰他敏（商品名Razadyne、Reminyl等），用于治疗轻度至中度阿尔茨海默病和各种其他记忆障碍导致的认知衰退。 它是一种已从Galanthus caucasicus（高加索雪莲）、Galanthus woronowi
- 佐佐江贤一郎佐佐江贤一郎（日语：佐々江賢一郎，1951年9月25日－）前日本外交官，2012年至2018年起出任日本驻美国大使。曾担任六方会谈日本代表团首席代表、外务省亚洲大洋洲局局长、事务次官。
- 镍氰酸盐镍氰酸盐是一类氰配位的镍化合物。最重要的镍氰酸盐是四氰合镍(II)酸盐，它包含着2−阴离子。它可以存在于溶液中或固体中。该配离子具有围绕中心镍离子排列成正方形的氰根。
- 尤卡坦半岛尤卡坦半岛（西班牙语：Península de Yucatán），位于中美洲北部、墨西哥东南部的半岛，墨西哥湾和加勒比海之间，将加勒比海从墨西哥湾中分离出。东靠加勒比海，西临墨西哥湾、坎佩切湾
- 09II型核潜艇09II型潜艇（北约代号：夏级，英语：）是中国人民解放军海军的第一代弹道导弹核潜艇，该型艇由攻击潜艇09I型核潜艇扩大船壳改进而来，在艇体上插入弹道导弹舱段。1970年设计方案完成，开始
- 兴登堡凶兆兴登堡凶兆（英文：Hindenburg Omen）是一种声称可预测美国股市出现股灾的技术分析，由数学家米耶卡（Jim Miekka）于1995年发明。并以1937年坠毁的兴登堡号飞船命名。当美国股市符合以
- 布莱恩·巴宾布莱恩·巴宾（Brian Babin；1948年3月23日－），美国政治人物。自2015年开始，他是德克萨斯州第36选举区选出的美国众议院议员。他的党籍是共和党。巴宾早年曾于美国空军服役，官至上尉，在
