Branching programs and binary decision diagrams: theory and applications

✍ Scribed by Ingo Wegener

Publisher: Society for Industrial Mathematics
Year: 1987
Tongue: English
Leaves: 419
Series: Monographs on Discrete Mathematics and Applications
Category: Library

⬇ Acquire This Volume

No coin nor oath required. For personal study only.

✦ Subjects

Математика;Дискретная математика;

📜 SIMILAR VOLUMES

Branching Programs and Binary Decision D

📁 Branching Programs and Binary Decision Diagrams: Theory and Applications

✍ Ingo Wegener 📂 Library 📅 1987 🏛 Society for Industrial Mathematics 🌐 English

Finite functions (in particular, Boolean functions) play a fundamental role in computer science and discrete mathematics. This book describes representations of Boolean functions that have small size for many important functions and which allow efficient work with the represented functions. The

Branching programs and binary decision d

📁 Branching programs and binary decision diagrams: theory and applications

✍ Ingo Wegener 📂 Library 📅 1987 🏛 Society for Industrial and Applied Mathematics 🌐 English

Branching Programs and Binary Decision D

📁 Branching Programs and Binary Decision Diagrams: Theory and Applications (Monographs on Discrete Mathematics and Applications)

✍ Ingo Wegener 📂 Library 📅 1987 🏛 SIAM 🌐 English

Binary Decision Diagrams: Theory and Imp

📁 Binary Decision Diagrams: Theory and Implementation

✍ Rolf Drechsler, Bernd Becker (auth.) 📂 Library 📅 1998 🏛 Springer US 🌐 English

For someone with a hammer the whole world looks like a nail. Within the last 10-13 years Binar·y Decision Diagmms (BDDs) have become the state-of-the-art data structure in VLSI CAD for representation and ma nipulation of Boolean functions. Today, BDDs are widely used and in the meantime have als

Binary Decision Diagrams and Application

📁 Binary Decision Diagrams and Applications for VLSI CAD

✍ Shin-ichi Minato (auth.) 📂 Library 📅 1996 🏛 Springer US 🌐 English

Symbolic Boolean manipulation using binary decision diagrams (BDDs) has been successfully applied to a wide variety of tasks, particularly in very large scale integration (VLSI) computer-aided design (CAD). The concept of decision graphs as an abstract representation of Boolean functions dates ba

Structural Decision Diagrams in Digital

📁 Structural Decision Diagrams in Digital Test: Theory and Applications

✍ Raimund Ubar, Jaan Raik, Maksim Jenihhin, Artur Jutman 📂 Library 📅 2024 🏛 Birkhäuser 🌐 English

This is the first book that sums up test-related modeling of digital circuits and systems by a new structural-decision-diagrams model. The model represents structural and functional information jointly and opens a new area of research.The book introduces and discusses ap