DPLL
DPLL est un sigle pouvant désigner :
- en informatique théorique, l'algorithme de Davis-Putnam-Logemann-Loveland est utilisé pour résoudre les problèmes SAT;
- en électronique, une boucle à phase asservie digitale, en anglais Digital Phase-Locked Loop.