https://vital.lib.tsu.ru/vital/access/manager/Index ${session.getAttribute("locale")} 5 Поиск установочной последовательности для последовательностной схемы с использованием SAT-решателей: магистерская диссертация по направлению подготовки: 01.04.02 - Прикладная математика и информатика https://vital.lib.tsu.ru/vital/access/manager/Repository/vital:6534 Fri 08 Jun 2018 10:54:24 KRAT ]]>