scientific article; zbMATH DE number 910727

zbMATH Open0858.94037MaRDI QIDQ4885885FDOQ4885885

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

Publication date: 25 March 1997

Title of this publication is not available (Why is that?)

Recommendations

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

zbMATH Keywords

algorithmprobability spectrumedge valued binary decision diagramspseudo Boolean functionsReed-Muller spectrum

Mathematics Subject Classification ID

Analysis of algorithms and problem complexity (68Q25)

Cited In (4)

• 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
• Lattice-valued 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 Q4885885)