Английский ⇄ Русский +

SMT problem ударения
ИИ.	задача выполнимости формул в теориях (сокр. от "satisfiability modulo theories problem" Alex_Odeychuk)

SMT problem : 2 фразы в 1 тематике

Искусственный интеллект

2