Skip to search form
Skip to main content
Skip to account menu
Semantic Scholar
Semantic Scholar's Logo
Search 239,501,256 papers from all fields of science
Search
Sign In
Create Free Account
DPLL algorithm
Known as:
Davis-Putnam-Logemann-Loveland algorithm
, Davis–Putnam–Logemann–Loveland algorithm
, DPLL-Algorithm
Expand
In computer science, the Davis–Putnam–Logemann–Loveland (DPLL) algorithm is a complete, backtracking-based search algorithm for deciding the…
Expand
Wikipedia
(opens in a new tab)
Create Alert
Alert
Related topics
Related topics
34 relations
Answer set programming
Automated planning and scheduling
Automated theorem proving
Backjumping
Expand
Broader (1)
Constraint programming
Papers overview
Semantic Scholar uses AI to extract papers important to this topic.
2017
2017
Measuring the Hardness of SAT Instances Title Measuring the Hardness of SAT Instances
Bonet MLuisa
2017
Corpus ID: 36456963
The search of a precise measure of what hardness of SAT instances means for state-of-the-art solvers is a relevant research…
Expand
2013
2013
Phase Frequency Detector and Charge Pump For DPLL Using 0.18µm CMOS Technology
Kashyap Patel
,
Nilesh D. Patel
2013
Corpus ID: 17723346
This paper presents a Low power phase frequency detector with charge pump for low power phase lock loop. The phase frequency…
Expand
2011
2011
Efficient solving of large arithmetic constraint systems with complex Boolean structure: proof engines for the analysis of hybrid discrete-continuous systems
Christian Herde
2011
Corpus ID: 7339299
Hybrid Dynamical Systems Extending DPLL for Pseudo-Boolean Constraints Integration of DPLL-SAT and Linear Programming Integration…
Expand
2009
2009
Symbolic Techniques in Propositional Satisfiability Solving
Moshe Y. Vardi
International Conference on Theory and…
2009
Corpus ID: 21051253
Search-based techniques in propositional satisfiability (SAT) solving have been enormously successful, leading to what is…
Expand
2009
2009
PERIOD DOUBLING BIFURCATION IN DISCRETE PHASE-LOCKED LOOPS
E. Kudryashova
,
N. Kuznetsov
2009
Corpus ID: 55950615
Bifurcation theory is very important in digital phaselocked loops (DPLLs) which are frequently encountered in radio engineering…
Expand
2008
2008
Rigorous Stability Criterion for Digital Phase Locked Loops
Brian Daniels
,
Ronan Farrell
2008
Corpus ID: 54699886
This paper proposes a rigorous stability criterion for an arbitrary order digital phase locked loop (DPLL), with a charge pump…
Expand
Review
2005
Review
2005
THE LHC BEAM DUMPING SYSTEM TRIGGER SYNCHRONISATION AND DISTRIBUTION SYSTEM
A. Antoine
,
E. Carlier
,
N. Voumard
2005
Corpus ID: 56264137
Two LHC beam dumping systems (LBDS) will fast-extract the counter-rotating beams safely from the LHC collider during setting-up…
Expand
1989
1989
Digital phase-locked loop with jitter bounded
S. M. Walters
,
T. Troudet
1989
Corpus ID: 110862442
A design of an all-digital phase-locked loop (DPLL) with direct frequency synthesis is proposed for generating signals that…
Expand
1986
1986
Synchronization Techniques for Digital Networks
H. L. Hartmann
,
Erhard Steiner
IEEE J. Sel. Areas Commun.
1986
Corpus ID: 40228216
A fault-tolerant network clock regenerator (NCR) will be analyzed, which consists of two digital phase-locked loops (DPLL), and…
Expand
1984
1984
Performance Improvement of a Binary Quantized All-Digital Phased-Locked Loop with a New Aided-Acquisition Technique
J. Sandoz
,
W. Steenaart
IEEE Transactions on Communications
1984
Corpus ID: 40291716
A nonuniform sampling digital phase-locked loop (DPLL) is proposed with a sequential loop filter, in which two additional phase…
Expand