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

Методы анализа выполнимости булевых формул для современных задач систем автоматизации проектирования в микроэлектронике

Авторы
 Заплетина М.А.
 Жуков Д.В.
 Гаврилов С.В.
Год публикации
 2020
Тип работы
 статья в научном журнале

Ссылка на статью
 Заплетина М.А., Жуков Д.В., Гаврилов С.В. Методы анализа выполнимости булевых формул для современных задач систем автоматизации проектирования в микроэлектронике. Известия высших учебных заведений. Электроника. 2020. Т. 25. № 6. С. 525-538. DOI: 10.24151/1561-5405-2020-25-6-525-538 RSCI

Сайт ИППМ    Сайт ИнфоМЭС    Обратная связь

Copyright © 2012-2022 ИППМ РАН. All Rights Reserved.
Обновлённая и существенно переработанная версия системы от 2016 года.

Разработка сайта - ИППМ РАН