Anglais ⇄ Russe +

trace back algorithm contraintes
informat.	алгоритм обратного прослеживания (путей сигналов при моделировании логических устройств)