Experimental Study of Algorithms for Minimization of Binary Decision Diagrams Using Algebraic Representations of Cofactors
Crossref DOI link: https://doi.org/10.1134/S0361768823040035
Published Online: 2023-07-28
Published Print: 2023-08
Update policy: https://doi.org/10.1007/springer_crossmark_policy
Bibilo, P. N.
Romanov, V. I.
Text and Data Mining valid from 2023-07-28
Version of Record valid from 2023-07-28
Article History
Received: 9 January 2023
Revised: 16 February 2023
Accepted: 21 March 2023
First Online: 28 July 2023
CONFLICT OF INTEREST
: The authors declare that they have no conflicts of interest.