Check out my first novel, midnight's simulacra!
Davis-Putnam-Logemann-Loveland Algorithm: Difference between revisions
From dankwiki
(Created page with "A backtracking, search-based algorithm for CNF-SAT. CATEGORY: Computer Science Eponyms") |
No edit summary |
||
| (One intermediate revision by the same user not shown) | |||
| 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.
