Check out my first novel, midnight's simulacra!

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

From dankwiki
No edit summary
 
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.