אנגלית ⇄ רוסית +

satisfiability modulo theories solving מתח
.בינה	решение задач выполнимости в теориях (Microsoft Alex_Odeychuk)