Anglais ⇄ Russe +

perform automated reasoning contraintes
intell.	выполнять автоматизированный поиск логического вывода (Alex_Odeychuk); выполнять автоматизированное формирование рассуждений (Alex_Odeychuk)