Boolean Satisfiability Methods for Modern Computer-Aided Design Problems in Microelectronics
Crossref DOI link: https://doi.org/10.1134/S1063739721070131
Published Online: 2021-12-29
Published Print: 2021-12
Update policy: https://doi.org/10.1007/springer_crossmark_policy
Zapletina, M. A.
Zhukov, D. V.
Gavrilov, S. V.
Text and Data Mining valid from 2021-12-01
Version of Record valid from 2021-12-01
Article History
Received: 23 July 2020
Revised: 23 July 2020
Accepted: 22 September 2020
First Online: 29 December 2021