英语 ⇄ 俄语 +

SMT-COMP 强调
人工智能	соревнование решателей задач выполнимости формул в теориях (сокр. от "SMT competition" Alex_Odeychuk)