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.
2017
2017
Measuring the Hardness of SAT Instances Title Measuring the Hardness of SAT Instances
The search of a precise measure of what hardness of SAT instances means for state-of-the-art solvers is a relevant research… 
2011
2011
Efficient solving of large arithmetic constraint systems with complex Boolean structure: proof engines for the analysis of hybrid discrete-continuous systems
Hybrid Dynamical Systems Extending DPLL for Pseudo-Boolean Constraints Integration of DPLL-SAT and Linear Programming Integration… 
2011
2011
Clause simplification through dominator analysis
Satisfiability (SAT) solvers often benefit from clauses learned by the DPLL procedure, even though they are by definition… 
2009
2009
Symbolic Techniques in Propositional Satisfiability Solving
Search-based techniques in propositional satisfiability (SAT) solving have been enormously successful, leading to what is… 
2009
2009
PERIOD DOUBLING BIFURCATION IN DISCRETE PHASE-LOCKED LOOPS
Bifurcation theory is very important in digital phaselocked loops (DPLLs) which are frequently encountered in radio engineering… 
1997
1997
칼만필터를 이용한 DPLL Bit synchronizer
1989
1989
Digital phase-locked loop with jitter bounded
A design of an all-digital phase-locked loop (DPLL) with direct frequency synthesis is proposed for generating signals that… 
1986
1986
Synchronization Techniques for Digital Networks
A fault-tolerant network clock regenerator (NCR) will be analyzed, which consists of two digital phase-locked loops (DPLL), and… 
1985
1985
Performance of First-Order Digital Phase-Locked Loops in Mobile Radio Channels
The performance of a first-order digital phase-locked loop (DPLL) using nonuniform sampling is studied in the mobile radio… 
1984
1984
Performance Improvement of a Binary Quantized All-Digital Phased-Locked Loop with a New Aided-Acquisition Technique
A nonuniform sampling digital phase-locked loop (DPLL) is proposed with a sequential loop filter, in which two additional phase…