Disambiguation evidence for DPLL(T) via surface form

"DPLL(T)"

Triples (3)

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

Satisfiability Modulo Theories → typicalArchitecture →
"DPLL(T)"
↳ resolves to DPLL(T)
ⓘ
linked to: Satisfiability Modulo Theories (SMT)
Satisfiability Modulo Theories → usesAlgorithm →
"DPLL(T)"
↳ resolves to DPLL(T)
ⓘ
linked to: Satisfiability Modulo Theories (SMT)
SMT → algorithmicTechnique →
"DPLL(T)"
↳ resolves to DPLL(T)
ⓘ