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

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