Skip to search formSkip to main contentSkip to account menu

DPLL algorithm

Known as: Davis-Putnam-Logemann-Loveland algorithm, Davis–Putnam–Logemann–Loveland algorithm, DPLL-Algorithm 
In computer science, the Davis–Putnam–Logemann–Loveland (DPLL) algorithm is a complete, backtracking-based search algorithm for deciding the… 
Wikipedia (opens in a new tab)

Related topics

Related topics

34 relations
Answer set programmingAutomated planning and schedulingAutomated theorem provingBackjumping

Broader (1)

Constraint programming

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2016
2016
An 802.11 a/b/g/n digital fractional-N PLL with automatic TDC linearity calibration for spur cancellation
This work presents a 1.9~5.6 GHz fractional-N DPLL with digi-phase spur canceller. It utilizes a ramp signal generated from the… 
2011
2011
Performance Evaluation of Digital Coherent Receivers for Phase-Modulated Radio-Over-Fiber Links
The performance of optical phase-modulated (PM) radio-over-fiber (RoF) links assisted with coherent detection and digital signal… 
2010
2010
A calibration-free 800MHz fractional-N digital PLL with embedded TDC
Digital Phase-Locked Loops (DPLLs), which are amenable to CMOS process scaling, have recently been demonstrated for both wireless… 
2010
2010
A new fast peak detector for single or three-phase unsymmetrical voltage sags
In this paper, a new fast peak detector for single or three-phase unsymmetrical voltage sags is proposed. The proposed detector… 
2008
2008
Data Compression for Proof Replay
We describe a compressing translation from SAT solver generated propositional resolution refutation proofs to classical natural… 
2007
2007
Technique to Reduce the Resolution Requirement of Digitally Controlled Oscillators for Digital PLLs
Phase-locked loops (PLLs) are a critical component in modern systems. Digital PLLs (DPLLs) are increasingly popular in CMOS… 
2006
2006
Design of a 1GHz Digital PLL Using 0.18\mu m CMOS Technology
A digital phase-locked loop (DPLL) is designed and is shown to have 1GHz operation with lock time of 643.36ns. The lock time was… 
1996
1996
Frequency granularity in digital phaselock loops
The frequency of a digital phaselock loop (DPLL) is necessarily quantized. Feedback around the quantizing nonlinearity leads to a… 
Highly Cited
1989
Highly Cited
1989
All digital phase-locked loop: concepts, design and applications
The concepts of an all digital phase-locked loop (DPLL), which contains a purely digital phase detector, loop filter and voltage… 
Highly Cited
1989
Highly Cited
1989
Secure random number generation using chaotic circuits
The authors show how to use a chaotic circuit as a secure random number generator and given an example using a first-order… 
By clicking accept or continuing to use the site, you agree to the terms outlined in our Privacy Policy (opens in a new tab), Terms of Service (opens in a new tab), and Dataset License (opens in a new tab)