scientific article; zbMATH DE number 846270

zbMath0846.68022MaRDI QIDQ4864698

Shin-ichi Minato

Publication date: 20 February 1996

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

binary decision diagramsbranching programscomplexity theorydata structure

Mathematics Subject Classification ID

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

Related Items

Ordered binary decision diagrams and the Shannon effect, Symbolic techniques in satisfiability solving, Technology mapping of multi-output functions leading to the reduction of dynamic power consumption in FPGAs, Formal verification based on Boolean expression diagrams, Effective use of Boolean satisfiability procedures in the formal verification of superscalar and VLIW microprocessors., Dualization of Boolean functions using ternary decision diagrams, Decomposition-based logic synthesis for PAL-based CPLDs, Boolean expression diagrams