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