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

масштабируемый параллельный решатель численных задач удовлетворения ограничений מתח
.בינה	scalable parallel numerical constraint solver (IBM Alex_Odeychuk)