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

conflict-driven clause learning מתח
.בינה	управляемое конфликтами обучение дизъюнктам (Alex_Odeychuk)