Home
Random
Settings
about dankwiki
disclaimers
dankwiki
Search
Davis-Putnam-Logemann-Loveland Algorithm
Language
Watch
view source
A backtracking, search-based algorithm for CNF-SAT, refining the
Davis-Putnam Algorithm
.
Category
:
Computer Science Eponyms