Definitions
from Wiktionary, Creative Commons Attribution/Share-Alike License.
- initialism Digital Phase Locked Loop. (electronics)
- initialism Digital
PLL . (electronics)
Etymologies
Sorry, no etymologies found.
Support
Help support Wordnik (and make this page ad-free) by adopting the word DPLL.
Examples
-
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.
Comments
Log in or sign up to get involved in the conversation. It's quick and easy.