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

Boolean Satisfiability Methods for Modern Computer-Aided Design Problems in Microelectronics

Авторы
 Zapletina M.A.
 Zhukov D.V.
 Gavrilov S.V.
Год публикации
 2021
Тип работы
 статья в научном журнале

Ссылка на статью
 Zapletina M.A., Zhukov D.V., Gavrilov S.V. Boolean Satisfiability Methods for Modern Computer-Aided Design Problems in Microelectronics. Russian Microelectronics. 2021. Vol. 50. No. 7. Pp. 516–522. DOI: 10.1134/S1063739721070131. (SCOPUS).

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

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

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