title: DPLL
text: # 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.
  