English ⇄ Russian

advance in SMT solvers stresses
AI.	прогресс в научно-исследовательских и опытно-конструкторских разработках решателей задач выполнимости формул в теориях (контекстуальный перевод на русс. язык Alex_Odeychuk)