Disambiguation evidence for SMT solvers via surface form
"Satisfiability Modulo Theories solvers"
Triples (1)
Triples where some other subject referred to this entity
as "Satisfiability Modulo Theories solvers".