DPLL algorithm
Sign in to saveAlso known as Davis-Putnam-Logemann-Loveland algorithm
algorithm for solving the CNF-SAT problem
Wikidata facts
- Instance of
- search algorithm
- Has part
- Unit propagation
- Based on
- Davis–Putnam algorithm
- Image
- Backtracking-no-backjumping.svg
Show 3 more facts
- computes solution to
- boolean satisfiability problem
- inception
- 1962-00-00
- Commons category
- Davis-Putnam-Logemann-Loveland algorithm
Sources (3)
via Wikidata · CC0