Disambiguation evidence for Davis–Putnam algorithm via surface form

"DPLL algorithm"

Triples (5)

Triples where some other subject referred to this entity as "DPLL algorithm".

Davis–Putnam algorithm → influenced →
"DPLL algorithm"
↳ resolves to Davis–Putnam algorithm
ⓘ
Davis–Putnam algorithm → differentFrom →
"DPLL algorithm"
↳ resolves to Davis–Putnam algorithm
ⓘ
Davis–Putnam algorithm → relatedAlgorithm →
"DPLL algorithm"
↳ resolves to Davis–Putnam algorithm
ⓘ
SAT problem → hasAlgorithmicApproach →
"DPLL algorithm"
↳ resolves to Davis–Putnam algorithm
ⓘ
SAT → commonAlgorithmicApproach →
"DPLL algorithm"
↳ resolves to Davis–Putnam algorithm
ⓘ