英语 ⇄ 俄语 +

advance in SMT solvers 强调
人工智能	прогресс в научно-исследовательских и опытно-конструкторских разработках решателей задач выполнимости формул в теориях (Alex_Odeychuk)