Check out my first novel, midnight's simulacra!

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

From dankwiki
Jump to navigation Jump to search
Newer edit →
Created page with "A backtracking, search-based algorithm for CNF-SAT. CATEGORY: Computer Science Eponyms"
(No difference)

Revision as of 17:31, 17 June 2014

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

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