Noun
DPLL
(electronics) Initialism of digital phase-locked loop.
A DPLL SAT solver employs a systematic backtracking search procedure to explore the (exponentially sized) space of variable assignments looking for satisfying assignments. Source: Internet
Difficulty is measured in number recursive calls made by a DPLL algorithm. citation 3-satisfiability can be generalized to k-satisfiability (k-SAT, also k-CNF-SAT), when formulas in CNF are considered with each clause containing up to k literals. Source: Internet
This can be an analog VCO either driven by analog circuitry in the case of an APLL or driven digitally through the use of a digital-to-analog converter as is the case for some DPLL designs. Source: Internet