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

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