Term Gallery logo

Значения термина satisfiability modulo theories на английском

русский
satisfiability modulo theories
испанский
teorias de satisfacibilidad modulo

Logical problem studied in computer science.

Похожие термины
satisfiability modulo theories
Синонимы
Examples for "smt"
Examples for "smt"
1
Heterozygous smt1 mutants fail to rescue the translation defect, indicating that the mutations are recessive.
Pubmed
2
Complications of SMT are reviewed, and the etiology and features of spinal epidural hematoma are discussed.
Pubmed
3
There is not enough evidence on whether SMT with efavirenz and nevirapine influences the risk of virologic failure.
Pubmed
4
Conclusion: US can be an alternative method in the assessment of G-SMT, especially in the follow-up of patients already diagnosed.
Pubmed
5
Ninety-one patients were treated with MSC and 107 patients were treated with standard medical therapy (SMT) as controls.
Pubmed
Translations for satisfiability modulo theories