A characterization of binary decision diagrams

DOI10.1109/12.204789zbMath1395.68099OpenAlexW2160199654MaRDI QIDQ5375306

Sreejit Chakravarty

Publication date: 14 September 2018

Published in: IEEE Transactions on Computers (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1109/12.204789

Mathematics Subject Classification ID

Data structures (68P05)

This page was built for publication: A characterization of binary decision diagrams