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