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

combinatorial explosion of clauses מתח
.בינה	комбинаторный взрыв вызовов дизъюнктов (Alex_Odeychuk)