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.
page tools
page tools
User page tools
Categories
Categories
- modified on 17 June 2014 at 17:32.
- copyright © 2008–2023 nick black. all rights worth shit.