Anglais ⇄ Russe +

generate-and-test computations contraintes
informat.	вычисления с порождением и проверкой вариантов или гипотез; вычисления с порождением и проверкой гипотез; вычисления с порождением и проверкой вариантов