Disambiguation evidence for DPLL algorithm via surface form

"DPLL"

Triples (1)

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

DPLL(T) → basedOn →
"DPLL"
↳ resolves to DPLL algorithm
ⓘ