Disambiguation evidence for DPLL algorithm via surface form

"DPLL SAT-solving algorithm"

Triples (1)

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

DPLL(T) → extends →
"DPLL SAT-solving algorithm"
↳ resolves to DPLL algorithm
ⓘ