Check out my first novel, midnight's simulacra!
Davis-Putnam-Logemann-Loveland Algorithm: Difference between revisions
From dankwiki
m (Dank moved page Davis–Putnam–Logemann–Loveland Algorithm to Davis-Putnam-Logemann-Loveland Algorithm) |
No edit summary |
||
| Line 1: | Line 1: | ||
A backtracking, search-based algorithm for CNF-SAT. | A backtracking, search-based algorithm for CNF-SAT, refining the [[Davis-Putnam Algorithm]]. | ||
[[CATEGORY: Computer Science Eponyms]] | [[CATEGORY: Computer Science Eponyms]] | ||
Latest revision as of 17:32, 17 June 2014
A backtracking, search-based algorithm for CNF-SAT, refining the Davis-Putnam Algorithm.
