scientific article; zbMATH DE number 474728

MaRDI QIDQ4273203zbMATH OpenFDO

Authors V. Dvorak

Publication date 17 February 1994

zbMATH Keywords

Boolean functionsdecision diagrams

Mathematics Subject Classification ID

Recommendations

• On the complexity of constructing optimal ordered binary decision diagrams
• scientific article; zbMATH DE number 1670823
• Asymptotically optimal bounds for OBDDs and the solution of some basic OBDD problems
• Optimal ordered binary decision diagrams for read-once formulas
• On the effect of local changes in the variable ordering of ordered decision diagrams

Cited in

(1)

• On the descriptive and algorithmic power of parity ordered binary decision diagrams

This page was built for publication:

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