DPLL-algoritme
Sign in to saveAlso known as Davis-Putnam-Logemann-Loveland algorithm
algorithm for solving the CNF-SAT problem
Wikidata facts
- Image
- Backtracking-no-backjumping.svg
Show 2 more facts
- 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
Connections
logic
Entity
computer science
Entity
International Standard Book Number
Entity
theory
Entity
digital object identifier
Entity
International Standard Serial Number
Entity
propositional calculus
Entity
Hilary Putnam
Entity
binary tree
Entity
computational complexity theory
Entity
Q22908627
Entity
first-order logic
Entity
search algorithm
Entity
truth value
Entity
NP-complete
Entity
time complexity
Entity
backtracking
Entity
Handle System
Entity
boolean satisfiability problem
Entity
conjunctive normal form
Entity