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 . Trouvé sur https://fr.wikipedia.org/wiki/DPLL
Aucun résultat n’a été trouvé dans l’encyclopédie.
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 .