The printable version is no longer supported and may have rendering errors. Please update your browser bookmarks and please use the default browser print function instead.
DPLL stands for:
DPLL algorithm, for solving the boolean satisfiability problem
This disambiguation page lists articles associated with the title DPLL. If an internal link led you here, you may wish to change the link to point directly to the intended article.