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

Boolean Satisfiability Methods for Modern Computer-Aided Design Problems in Microelectronics
Authors
 Zapletina M.A.
 Zhukov D.V.
 Gavrilov S.V.
Date of publication
 2021
Type of work
 статья в научном журнале
Library reference
 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).
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