DPLL: Difference between revisions

From Wikipedia, the free encyclopedia
Content deleted Content added
m Reverted edits by 71.165.80.223 (talk) to last version by Zidane tribal
Bot1058 (talk | contribs)
m Task 6: remove disambiguation page from Category:Monitored short pages
 
(5 intermediate revisions by 5 users not shown)
Line 2: Line 2:


* [[DPLL algorithm]], for solving the boolean satisfiability problem
* [[DPLL algorithm]], for solving the boolean satisfiability problem
* Digital [[phase-locked loop]], an electronic feedback system that generates a signal
* [[Digital phase-locked loop]], an electronic feedback system that generates a signal


{{disambig}}
{{Disambiguation}}

Latest revision as of 08:17, 28 December 2019

DPLL stands for: