Главная  Каталог авторов Каталог трудов Расширенный поиск Добавление статей Регистрация

Методы анализа выполнимости булевых формул для современных задач систем автоматизации проектирования в микроэлектронике
Авторы
 Заплетина М.А.
 Жуков Д.В.
 Гаврилов С.В.
Год публикации
 2020
Тип работы
 статья в научном журнале
Ссылка на статью
 Заплетина М.А., Жуков Д.В., Гаврилов С.В. Методы анализа выполнимости булевых формул для современных задач систем автоматизации проектирования в микроэлектронике. Известия высших учебных заведений. Электроника. 2020. Т. 25. № 6. С. 525-538. DOI: 10.24151/1561-5405-2020-25-6-525-538 RSCI
Сайт ИППМ    Сайт ИнфоМЭС    Обратная связь
Copyright © 2012-2024 ИППМ РАН. All Rights Reserved.
Обновлённая и существенно переработанная версия системы от 2016 года.
Разработка сайта - ИППМ РАН