缩写	全称	中文释义
DPLL	Davis Putnam Logemann and Loveland	戴维斯·帕特南·洛格曼和拉夫兰
DPLL	Davis Putnam Logemann Loveland	戴维斯·帕特南·洛格曼·拉夫兰
DPLL	Dr Phillips Little League	菲利普斯医生小联盟