Dynamic Re-Encoding During MDD Minimization

DOI10.1080/10236620215303zbMath1040.68029OpenAlexW3215389872MaRDI QIDQ4804769

Wolfgang Günther, Rolf Drechsler, Frank Schmiedle

Publication date: 2002

Published in: Multiple-Valued Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1080/10236620215303

zbMATH Keywords

multi-valued decision diagrams

Mathematics Subject Classification ID

Data structures (68P05)

This page was built for publication: Dynamic Re-Encoding During MDD Minimization