Revision as of 17:31, 17 June 2014 (view source) Dank (talk \| contribs) (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) m (Dank moved page Davis–Putnam–Logemann–Loveland Algorithm to Davis-Putnam-Logemann-Loveland Algorithm) Newer edit →
(No difference)

anonymous

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