Davis-Putnam-Logemann-Loveland Algorithm

Revision as of 17:32, 17 June 2014 by Dank (talk | contribs) (Dank moved page Davis–Putnam–Logemann–Loveland Algorithm to Davis-Putnam-Logemann-Loveland Algorithm)

(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)

A backtracking, search-based algorithm for CNF-SAT.

Retrieved from "https://nick-black.com/dankwiki/index.php?title=Davis-Putnam-Logemann-Loveland_Algorithm&oldid=5593"

Computer Science Eponyms