Davis–Putnam–Logemann–Loveland
GPTKB entity
Statements (23)
| Predicate | Object |
|---|---|
| gptkbp:instanceOf |
gptkb:algorithm
|
| gptkbp:alsoKnownAs |
gptkb:DPLL_algorithm
|
| gptkbp:category |
gptkb:search_engine
backtracking algorithm |
| gptkbp:extendsTo |
gptkb:Davis–Putnam_algorithm
|
| gptkbp:field |
gptkb:artificial_intelligence
gptkb:logic computer science |
| gptkbp:hasFeature |
backtracking
pure literal elimination unit propagation |
| gptkbp:introducedIn |
1962
|
| gptkbp:namedAfter |
gptkb:Hilary_Putnam
gptkb:Martin_Davis gptkb:Donald_Loveland gptkb:George_Logemann |
| gptkbp:relatedTo |
gptkb:logic
gptkb:NP-completeness |
| gptkbp:solvedBy |
gptkb:Boolean_satisfiability_problem
|
| gptkbp:usedIn |
gptkb:SAT_solvers
|
| gptkbp:bfsParent |
gptkb:DPLL_algorithm
|
| gptkbp:bfsLayer |
7
|
| https://www.w3.org/2000/01/rdf-schema#label |
Davis–Putnam–Logemann–Loveland
|