Home  Catalogue of authors Catalogue of works Full search Add papers Login

Методы анализа выполнимости булевых формул для современных задач систем автоматизации проектирования в микроэлектронике
Authors
 Заплетина М.А.
 Жуков Д.В.
 Гаврилов С.В.
Date of publication
 2020
Type of work
 статья в научном журнале
Library reference
 Заплетина М.А., Жуков Д.В., Гаврилов С.В. Методы анализа выполнимости булевых формул для современных задач систем автоматизации проектирования в микроэлектронике. Известия высших учебных заведений. Электроника. 2020. Т. 25. № 6. С. 525-538. DOI: 10.24151/1561-5405-2020-25-6-525-538 RSCI
To IPPM site    To InfoMES site    Feedback
Copyright © 2012-2024 IPPM RAS. All Rights Reserved.
Updated and substantially revised version of system of 2016.
Design of site: IPPM RAS