DPLL: Difference between revisions

From Wikipedia, the free encyclopedia
Content deleted Content added
No edit summary
m Reverted edits by 71.165.80.223 (talk) to last version by Zidane tribal
Line 1: Line 1:
'''DPLL''' stands for:
'''DPLL''' stands for:


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


{{disambig}}
{{disambig}}

*edit*

Revision as of 06:23, 1 February 2008

DPLL stands for: