Text this: Разработка и реализация алгоритмов решения комбинаторно-логических задач автоматизации проектирования цифровых устройств методом сокращенного обхода дерева поиска