Disambiguation evidence for DPLL algorithm via surface form

"DPLL algorithm"

Triples (2)

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

CDCL SAT solver → extends →
"DPLL algorithm"
↳ resolves to DPLL algorithm
ⓘ
CDCL SAT solver → improvesOn →
"DPLL algorithm"
↳ resolves to DPLL algorithm
ⓘ