DPLL
From Wikipedia, the free encyclopedia
DPLL
stands for:
the
DPLL algorithm
for solving the
Boolean satisfiability problem
;
a Digital
Phase Locked Loop
circuit.
This page
disambiguates
a four-character combination. If an
article link
referred you to this page, you may wish to change the link to point directly to the intended article.
Category
:
Lists of four-character combinations
Views
Article
Discussion
Current revision
Navigation
Main Page
Community Portal
Featured content
Current events
Help
Contact Wikipedia
Donations
Search