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)