Disambiguation evidence for SMT-COMP via surface form

"SMT-COMP"

Triples (6)

Triples where some other subject referred to this entity as "SMT-COMP".

Satisfiability Modulo Theories → hasCompetition →
"SMT-COMP"
↳ resolves to SMT-COMP
ⓘ
linked to: Satisfiability Modulo Theories (SMT)
SMT → hasCommunity →
"SMT-COMP"
↳ resolves to SMT-COMP
ⓘ
CVC4 → participatesIn →
"SMT-COMP"
↳ resolves to SMT-COMP
ⓘ
Yices → participatesIn →
"SMT-COMP"
↳ resolves to SMT-COMP
ⓘ
Boolector → participatedIn →
"SMT-COMP"
↳ resolves to SMT-COMP
ⓘ
SMTInterpol → participatesIn →
"SMT-COMP"
↳ resolves to SMT-COMP
ⓘ