Minimization of Word-Level Decision Diagrams

DOI10.1016/S0167-9260(02)00047-0zbMath1011.68025OpenAlexW2001215825WikidataQ59242942 ScholiaQ59242942MaRDI QIDQ4788457

Stefan Höreth, Wolfgang Günther, Rolf Drechsler

Publication date: 22 January 2003

Published in: Integration (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/s0167-9260(02)00047-0

zbMATH Keywords

dynamic minimization of WLDDs

Mathematics Subject Classification ID

Data structures (68P05)

This page was built for publication: Minimization of Word-Level Decision Diagrams