Statements (29)
Predicate | Object |
---|---|
gptkbp:instanceOf |
gptkb:algorithm
Boolean satisfiability problem |
gptkbp:application |
automated theorem proving
software verification hardware verification constraint satisfaction problems |
gptkbp:author |
gptkb:Hilary_Putnam
gptkb:Martin_Davis gptkb:Donald_Loveland gptkb:George_Logemann |
gptkbp:complexity |
NP-complete
|
gptkbp:extendsTo |
gptkb:Davis–Putnam_algorithm
|
gptkbp:field |
gptkb:artificial_intelligence
gptkb:logic computer science |
gptkbp:format |
gptkb:conjunctive_normal_form
|
https://www.w3.org/2000/01/rdf-schema#label |
DPLL algorithm
|
gptkbp:influenced |
modern SAT solvers
|
gptkbp:introducedIn |
1962
|
gptkbp:namedAfter |
gptkb:Davis–Putnam–Logemann–Loveland
|
gptkbp:solvedBy |
Boolean satisfiability problem
|
gptkbp:technique |
backtracking
pure literal elimination unit propagation |
gptkbp:bfsParent |
gptkb:3-SAT
gptkb:Boolean_satisfiability_problem gptkb:SAT_problem gptkb:SAT_solvers |
gptkbp:bfsLayer |
6
|