Anglais ⇄ Russe +

tabular-algorithmic method contraintes
progr.	таблично-алгоритмический метод (напр., вычисления булевых функций ssn)