DPLL


Also found in: Encyclopedia, Wikipedia.
AcronymDefinition
DPLLDigital Phase Locked Loop
DPLLDigital Phase-Locked Loop
DPLLDos Pueblos Little League (Goleta, CA)
DPLLDavis-Putnam-Logemann-Loveland (search algorithm)
DPLLDeer Park Little League (Texas)
DPLLDiscrete-Time Phase-Locked Loop
DPLLDysimmune and Pseudo-Lymphomatous Lymphadenopathies
Copyright 1988-2018 AcronymFinder.com, All rights reserved.
References in periodicals archive ?
Assume that the loop gains of second-order DPLL are [K.sub.0f] and [K.sub.1f], respectively.
The strength of consistency achieved by the unit propagation rule is reflected in the DPLL performance in many problems.
State-of-the-art SAT solvers are based on DPLL [8] algorithm.
* Hitless reference switching--if the reference the DPLL is locked to fails, the DPLL will lock to another available reference without phase disturbances at its output.
The Principle of Bit Synchronization Clock Extraction Based on DPLL
In the present work we introduce a new parallel carrier recovery algorithm which combines a novel low-latency parallel DPLL with a traditional feedforward CPR algorithm.
It exploits the complementarity of different sequential DPLL strategies to let them compete and cooperate on the same formula.
The Model Evolution Calculus as a First-Order DPLL Method.
In the crafted category, the best "brute force" solver usually wins, that is, the CDCL (or plain DPLL) (Davis, Logemann, and Loveland 1962) solver with the fastest exploration of the search space.
The first, by Martin Davis, professor emeritus at New York University, USA, chronicled the original development of the Davis-Putnam-Loveland-Logemann (DPLL) algorithm and proposed an unorthodox take on the P = NP problem.
The resulting instance of E-MAJSAT is solved with the Davis-Putnam-Logemann-Loveland (DPLL) algorithm (Davis, Logemann, and Loveland 1962).
Systematic SAT Solvers Although it was discovered many years ago, the DPLL algorithm (Davis, Logemann, and Loveland 1962) remains a central algorithm, and it can be summarized with a minimum of background.