Check out my first novel, midnight's simulacra!
Davis-Putnam-Logemann-Loveland Algorithm
From dankwiki
(Redirected from Davis–Putnam–Logemann–Loveland Algorithm)
A backtracking, search-based algorithm for CNF-SAT, refining the Davis-Putnam Algorithm.
