scientific article; zbMATH DE number 846270
From MaRDI portal
Publication:4864698
zbMATH Open0846.68022MaRDI QIDQ4864698FDOQ4864698
Authors: Shin-Ichi Minato 
Publication date: 20 February 1996
Title of this publication is not available (Why is that?)
Recommendations
- scientific article; zbMATH DE number 1156875
- Binary decision diagrams in theory and practice
- Binary decision diagrams
- Binary decision diagrams
- Publication:4934627
- 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
Research exposition (monographs, survey articles) pertaining to computer science (68-02) Data structures (68P05) Computer science aspects of computer-aided design (68U07)
Cited In (16)
- Title not available (Why is that?)
- Symbolic techniques in satisfiability solving
- Technology mapping of multi-output functions leading to the reduction of dynamic power consumption in FPGAs
- Ordered binary decision diagrams and the Shannon effect
- Effective use of Boolean satisfiability procedures in the formal verification of superscalar and VLIW microprocessors.
- Formal verification based on Boolean expression diagrams
- Boolean expression diagrams
- Representation of logical circuits by linear decision diagrams with extension to nanostructures
- Title not available (Why is that?)
- Tractable representations for Boolean functional synthesis
- Title not available (Why is that?)
- Binary decision diagrams in theory and practice
- Decomposition-based logic synthesis for PAL-based CPLDs
- Title not available (Why is that?)
- Design of arbiters and allocators based on multi-terminal BDDs
- Dualization of Boolean functions using ternary 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 Q4864698)
