Disambiguation evidence for Davis–Putnam algorithm via surface form

"DPLL algorithm"

Triples (3)

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
ⓘ