from Wiktionary, Creative Commons Attribution/Share-Alike License.

  • initialism Digital Phase Locked Loop. (electronics)
  • initialism Digital PLL. (electronics)


Sorry, no etymologies found.


Help support Wordnik (and make this page ad-free) by adopting the word DPLL.


  • In essence, DPLL search procedures proceed by considering ways in which assignments can be chosen to make the original formula true.

    Automated Reasoning Portoraro, Frederic 2005

  • MACE is a popular program based on the DPLL algorithm that searches for finite models of first-order formulas with equality.

    Automated Reasoning Portoraro, Frederic 2005

  • The Davis-Putnam-Logemann-Loveland (DPLL) algorithm was one of the first SAT search algorithms (Davis and Putnam 1960; Davis, Logemman and Loveland 1962) and is still considered one of the best complete SAT solvers; many of the complete SAT procedures in existence today can be considered optimizations and generalizations of DPLL.

    Automated Reasoning Portoraro, Frederic 2005

  • DPLL algorithms are made more efficient by strategies such as term indexing (ordering of the formula variables in an advantageous way), chronological backtracking (undoing work to a previous branching point if the process leads to a conflicting clause), and conflict-driven learning (determining the information to keep and where to backtrack).

    Automated Reasoning Portoraro, Frederic 2005

  • The DPLL search procedure has been extended to quantified logic.

    Automated Reasoning Portoraro, Frederic 2005

  • The new on-chip DPLL (digital PLL) delivers ultralow video - and audio-clock jitter, improving receiver performance and easing printed circuit board (PCB) layout and signal integrity management when interfacing high-speed video buses to downstream devices.



Log in or sign up to get involved in the conversation. It's quick and easy.