scientific article; zbMATH DE number 846270

MaRDI QIDQ4864698zbMATH OpenFDO

Authors Shin-Ichi Minato

Publication date 20 February 1996

zbMATH Keywords

binary decision diagramsbranching programscomplexity theorydata structure

Mathematics Subject Classification ID

Research exposition (monographs, survey articles) pertaining to computer science (68-02) Data structures (68P05) Computer science aspects of computer-aided design (68U07)

Recommendations

• scientific article; zbMATH DE number 1156875
• Binary decision diagrams in theory and practice
• Binary decision diagrams
• Binary decision diagrams
• scientific article; zbMATH DE number 1390338
• scientific article; zbMATH DE number 1423229
• Solving quantified bit-vector formulas using binary decision diagrams
• Multi-terminal binary decision diagrams
• scientific article; zbMATH DE number 910726
• A characterization of binary decision diagrams

Cited in

(23)

• Ordered binary design graphs and their signification in computer aided design of high-integrated circuits
• Effective use of Boolean satisfiability procedures in the formal verification of superscalar and VLIW microprocessors.
• Binary decision diagrams in theory and practice
• Ordered binary decision diagrams and the Shannon effect
• Formal verification based on Boolean expression diagrams
• Representation of logical circuits by linear decision diagrams with extension to nanostructures
• Boolean expression diagrams
• Design of arbiters and allocators based on multi-terminal BDDs
• Decomposition-based logic synthesis for PAL-based CPLDs
• scientific article; zbMATH DE number 3936917 (Why is no real title available?)
• scientific article; zbMATH DE number 52225 (Why is no real title available?)
• scientific article; zbMATH DE number 1220670 (Why is no real title available?)
• scientific article; zbMATH DE number 1156875 (Why is no real title available?)
• scientific article; zbMATH DE number 1953899 (Why is no real title available?)
• scientific article; zbMATH DE number 1971514 (Why is no real title available?)
• Branching Programs and Binary Decision Diagrams
• scientific article; zbMATH DE number 910734 (Why is no real title available?)
• Dualization of Boolean functions using ternary decision diagrams
• Technology mapping of multi-output functions leading to the reduction of dynamic power consumption in FPGAs
• Tractable representations for Boolean functional synthesis
• Explaining control policies through predicate decision diagrams
• Reducing the computational effort of symbolic supervisor synthesis
• Symbolic techniques in satisfiability solving

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