Davis-Putnam-Logemann-Loveland Algorithm (DPLL) (CNF-SAT Boolean Satisfiability)
Revision as of 12:17, 15 February 2023 by Admin (talk | contribs) (Created page with "== Time Complexity == $O({2}^n)$ == Space Complexity == $O(n)$ Binary Search Tree (https://en.wikipedia.org/wiki/DPLL_algorithm) == Description == == Approximate? == Exact == Randomized? == No, deterministic == Model of Computation == == Year == 1961 == Reference == https://dl.acm.org/doi/10.1145/368273.368557")
Time Complexity
$O({2}^n)$
Space Complexity
$O(n)$ Binary Search Tree
(https://en.wikipedia.org/wiki/DPLL_algorithm)
Description
Approximate?
Exact
Randomized?
No, deterministic
Model of Computation
Year
1961