Skip to search form
Skip to main content
Skip to account menu
Semantic Scholar
Semantic Scholar's Logo
Search 237,478,650 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.
2013
2013
Synchronization of Photo-voltaic system with a Grid
Muhammad Waqas Khan
,
Muhammad Saleem
,
Ashfaq Ahmad
,
Ahmad M. Ayaz
2013
Corpus ID: 61984776
The study addresses the architecture of a hybrid PLL circuit technique for synchronizing a PV system with single phase grid. For…
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
2010
2010
Abstract Answer Set Solvers with Learning
Yuliya Lierler
arXiv.org
2010
Corpus ID: 51983868
Nieuwenhuis, Oliveras, and Tinelli (2006) showed how to describe enhancements of the Davis-Putnam-Logemann-Loveland algorithm…
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
2008
2008
Rigorous Stability Criterion for Digital Phase Locked Loops
B. Daniels
,
R. 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
1997
1997
칼만필터를 이용한 DPLL Bit synchronizer
박승근
,
이영환
,
목진담
1997
Corpus ID: 108564748
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. 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
1985
1985
Performance of First-Order Digital Phase-Locked Loops in Mobile Radio Channels
S. Elnoubi
,
Someshwara C. Gupta
IEEE Transactions on Communications
1985
Corpus ID: 7113615
The performance of a first-order digital phase-locked loop (DPLL) using nonuniform sampling is studied in the mobile radio…
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