A characterization of binary decision diagrams

DOI10.1109/12.204789MaRDI QIDQ5375306zbMATH OpenOpenAlexFDO

Authors 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)

Recommendations

• Comments on "A characterization of binary decision diagrams"
• Binary decision diagrams in theory and practice
• Binary decision diagrams
• Binary decision diagrams
• scientific article; zbMATH DE number 1390338
• A rewriting approach to binary decision diagrams
• scientific article; zbMATH DE number 1696764
• On a class of decision diagrams
• scientific article; zbMATH DE number 1759447
• scientific article; zbMATH DE number 1487852

Cited in

(3)

• Complexity theoretical results on partitioned (nondeterministic) binary decision diagrams
• scientific article; zbMATH DE number 846270 (Why is no real title available?)
• scientific article; zbMATH DE number 6292613 (Why is no real title available?)

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5375306)