scientific article; zbMATH DE number 846270
From MaRDI portal
Publication:4864698
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
Cited in
(16)- Binary decision diagrams in theory and practice
- Technology mapping of multi-output functions leading to the reduction of dynamic power consumption in FPGAs
- Symbolic techniques in satisfiability solving
- Design of arbiters and allocators based on multi-terminal BDDs
- Representation of logical circuits by linear decision diagrams with extension to nanostructures
- Effective use of Boolean satisfiability procedures in the formal verification of superscalar and VLIW microprocessors.
- Decomposition-based logic synthesis for PAL-based CPLDs
- scientific article; zbMATH DE number 52225 (Why is no real title available?)
- Boolean expression diagrams
- scientific article; zbMATH DE number 3936917 (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?)
- Formal verification based on Boolean expression diagrams
- Tractable representations for Boolean functional synthesis
- Dualization of Boolean functions using ternary decision diagrams
- Ordered binary decision diagrams and the Shannon effect
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)
