Anglais ⇄ Russe +

the problem reduces to finding contraintes
math.	задача сводится к нахождению (a relatively simple mathematical expression which ...)