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

процедура логического вывода в ограничениях מתח
.בינה	constrained inference procedure (Alex_Odeychuk)