DPLL - Citizendia

DPLL stands for:

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

The DPLL/Davis-Putnam-Logemann-Loveland algorithm is a complete Backtracking -based Algorithm for deciding the satisfiability of propositional logic A phase-locked loop or phase lock loop (PLL is a Control system that generates a signal that has a fixed relation to the phase of a "reference"

© 2009 citizendia.org; parts available under the terms of GNU Free Documentation License, from http://en.wikipedia.org
network: | |