Check out my first novel, midnight's simulacra!

Davis-Putnam-Logemann-Loveland Algorithm

From dankwiki
Revision as of 17:31, 17 June 2014 by Dank (talk | contribs) (Created page with "A backtracking, search-based algorithm for CNF-SAT. CATEGORY: Computer Science Eponyms")
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)

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