DPLL-algoritme
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
Article · Nederlands
Het DPLL-algoritme (Davis-Putnam-Logemann-Loveland algoritme) is een algoritme voor het onderzoeken van de vervulbaarheid van een propositie in conjunctieve normaalvorm (dit probleem is ook bekend als CNF-SAT). Het algoritme werd gepubliceerd in 1962 door , Hilary Putnam, en als een verbetering van een eerder algoritme van Davis en Putnam uit 1960. Het algoritme maakt gebruik van backtracking indien nodig. Er bestaan allerlei verbeterde varianten van het DPLL-algoritme, zoals het , en .
Abstract from DBpedia / Wikipedia · CC BY-SA