Path Representation in Circuit Netlists Using Linear-Sized ZDDs with Optimal Variable Ordering
Crossref DOI link: https://doi.org/10.1007/s10836-018-5761-6
Published Online: 2018-11-15
Published Print: 2018-12
Update policy: https://doi.org/10.1007/springer_crossmark_policy
Neophytou, Stelios N. http://orcid.org/0000-0001-5728-6845
Michael, Maria K.
Text and Data Mining valid from 2018-11-15
Article History
Received: 25 June 2018
Accepted: 24 October 2018
First Online: 15 November 2018