scientific article; zbMATH DE number 910727

MaRDI QIDQ4885885zbMATH OpenFDO

Authors Sarma B. K. Vrudhula, Massoud Pedram, Yung-Te Lai

Publication date 25 March 1997

zbMATH Keywords

algorithmprobability spectrumedge valued binary decision diagramspseudo Boolean functionsReed-Muller spectrum

Mathematics Subject Classification ID

Analysis of algorithms and problem complexity (68Q25)

Recommendations

• Binary decision diagrams with edge-specified reductions
• scientific article; zbMATH DE number 1390338
• Binary decision diagrams
• Binary decision diagrams
• Lattice-valued binary decision diagrams
• scientific article; zbMATH DE number 1487852
• scientific article; zbMATH DE number 1696764

Cited in

(4)

• Lattice-valued binary decision diagrams
• Formal verification using edge-valued binary decision diagrams
• Formal verification based on Boolean expression diagrams
• A unifying approach to edge-valued and arithmetic transform 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 Q4885885)