Revision as of 17:31, 17 June 2014 view source Dank (talk \| contribs) Bureaucrats, Administrators 10,771 edits Created page with "A backtracking, search-based algorithm for CNF-SAT. CATEGORY: Computer Science Eponyms"	Revision as of 17:32, 17 June 2014 view source Dank (talk \| contribs) Bureaucrats, Administrators 10,771 edits m Dank moved page Davis–Putnam–Logemann–Loveland Algorithm to Davis-Putnam-Logemann-Loveland Algorithm Newer edit →
(No difference)

Davis-Putnam-Logemann-Loveland Algorithm: Difference between revisions

Revision as of 17:32, 17 June 2014