Disambiguation evidence for Satisfiability Modulo Theories (SMT) via surface form
"Satisfiability Modulo Theories"
Triples (7)
Triples where some other subject referred to this entity
as "Satisfiability Modulo Theories".
SMT-LIB2
→
domain
→
"Satisfiability Modulo Theories"
ⓘ
↳ resolves to Satisfiability Modulo Theories (SMT)
SMT
→
fullName
→
"Satisfiability Modulo Theories"
ⓘ
↳ resolves to Satisfiability Modulo Theories (SMT)
DPLL(T)
→
designedFor
→
"Satisfiability Modulo Theories"
ⓘ
↳ resolves to Satisfiability Modulo Theories (SMT)
SMT-COMP
→
focusesOn
→
"Satisfiability Modulo Theories"
ⓘ
↳ resolves to Satisfiability Modulo Theories (SMT)
Yices
→
supportsLogic
→
"Satisfiability Modulo Theories"
ⓘ
↳ resolves to Satisfiability Modulo Theories (SMT)
Shostak combination method
→
field
→
"Satisfiability Modulo Theories"
ⓘ
↳ resolves to Satisfiability Modulo Theories (SMT)
CVC5
→
implements
→
"Satisfiability Modulo Theories"
ⓘ
↳ resolves to Satisfiability Modulo Theories (SMT)