Katalog der Deutschen Nationalbibliothek

Go to:

Knowledge Web

Subject heading
Subject heading

Allgemeinbegriff

OBDD

Binäres Entscheidungsdiagramm

Subject heading

OBDD

Definition

Effiziente graphbasierte Datenstrukturen zur Repräsentation bzw. Manipulation von Booleschen Funktionen

Synonym

Ordered Binary Decision Diagram
Geordnetes binäres Entscheidungsdiagramm
Ordered BDD

Broader term

Binäres Entscheidungsdiagramm

Topic

Informatik, Datenverarbeitung
Elektronik, Nachrichtentechnik

Source

Vorlage

Record type

Allgemeinbegriff

GND-Identifier

4389323-5

Record ID

945810598

Topic of

show all

Complexity bounds on some fundamental computational problems for quantum branching programs

Complexity bounds on some fundamental computational problems for quantum branching programs

Heuristic and exact optimization of reduced ordered binary decision diagrams (BDDs)

High-level methods for OBDD-based sequential verification

Improving the power of ordered binary decision diagrams by integrating parity nodes

Symbolic methods for testing digital circuits

Symbolic methods for testing digital circuits

Zur Implementierung eines ROBDD-basierten Systems für die Manipulation und Visualisierung von Relationen

ROBDD-basierte Implementierung von Relationen und relationalen Operationen mit Anwendungen

A signature-based approach to formal logic verification

A signature-based approach to formal logic verification

Binary decision diagrams for random Boolean functions

Binary decision diagrams for random Boolean functions

Complexity theoretical results for randomized branching programs

Datenstrukturen und Lernverfahren in der Zustandsraumsuche

Lernen von Automaten und Entscheidungsdiagrammen

Algorithmen und Datenstrukturen im VLSI-Design : OBDD - Grundlagen und Anwendungen

Algorithmen und Datenstrukturen im VLSI-Design : OBDD — Grundlagen und Anwendungen

Algorithms and Data Structures in VLSI Design : OBDD ­ Foundations and Applications

Algorithms and data structures in VLSI design : OBDD foundations and applications

Transformation techniques for decision diagrams in computer aided design

Analyse von Petri-Netz-Modellen mit Entscheidungsdiagrammen

Algorithmen und untere Schranken für verallgemeinerte OBDDs

Über OBDDs und ihre Anwendung in der Testbarkeitsanalyse
Please note

The beta version does not yet contain all functions and information of the DNB portal catalogue. If you are missing information or want to order a medium, please visit the page in the DNB portal catalogue via the following link:

DNB portal