Check out my first novel, midnight's simulacra!

Davis-Putnam-Logemann-Loveland Algorithm

From dankwiki
The printable version is no longer supported and may have rendering errors. Please update your browser bookmarks and please use the default browser print function instead.

A backtracking, search-based algorithm for CNF-SAT, refining the Davis-Putnam Algorithm.

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