Hochschulschrift | Online-Publikation
Improving the power of ordered binary decision diagrams by integrating parity nodes
- Standort
-
Deutsche Nationalbibliothek Frankfurt am Main
- Umfang
-
Online-Ressource
- Sprache
-
Englisch
- Anmerkungen
-
Erscheinungsjahr an der Haupttitelstelle: 2001
Trier, Univ., Diss., 2002
- Klassifikation
-
Informatik
- Schlagwort
-
OBDD
OBDD ; Erweiterung ; Datenstruktur ; Algorithmus
- Urheber
- URN
-
urn:nbn:de:hbz:385-2148
- Rechteinformation
-
Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Letzte Aktualisierung
-
25.03.2025, 13:46 MEZ
Datenpartner
Dieses Objekt wird bereitgestellt von:
Deutsche Nationalbibliothek. Bei Fragen zum Objekt wenden Sie sich bitte an den Datenpartner.
Deutsche Nationalbibliothek. Bei Fragen zum Objekt wenden Sie sich bitte an den Datenpartner.
Objekttyp
- Hochschulschrift
- Online-Publikation
Beteiligte
Ähnliche Objekte (12)
Iron - binary phase diagrams
Binary decision diagrams and integer programming
Ordered Kronecker functional decision diagrams und ihre Anwendung
Binary decision diagrams for random Boolean functions
Binary decision diagrams for random Boolean functions
Analyzing Feature-Model Histories with Binary Decision Diagrams
Dynamic fault tree analysis using binary decision diagrams
Hashing Strategies for Concurrent Building of Binary Decision Diagrams
Ordered chaining calculi for first order theories of binary relations
Implementation aspects of binary and non-binary low-density parity-check decoders : = Implementierungsaspekte binärer und nicht-binärer Kanaldecodierer
Domain-specific variable ordering for compiling binary decision diagrams from feature models
Nodes, Rudolf
Iron - binary phase diagrams
Binary decision diagrams and integer programming
Ordered Kronecker functional decision diagrams und ihre Anwendung
Binary decision diagrams for random Boolean functions
Binary decision diagrams for random Boolean functions
Analyzing Feature-Model Histories with Binary Decision Diagrams
Dynamic fault tree analysis using binary decision diagrams
Hashing Strategies for Concurrent Building of Binary Decision Diagrams
Ordered chaining calculi for first order theories of binary relations
Implementation aspects of binary and non-binary low-density parity-check decoders : = Implementierungsaspekte binärer und nicht-binärer Kanaldecodierer
Domain-specific variable ordering for compiling binary decision diagrams from feature models
Nodes, Rudolf
Iron - binary phase diagrams
Binary decision diagrams and integer programming
Ordered Kronecker functional decision diagrams und ihre Anwendung
Binary decision diagrams for random Boolean functions
Binary decision diagrams for random Boolean functions
Analyzing Feature-Model Histories with Binary Decision Diagrams
Dynamic fault tree analysis using binary decision diagrams
Hashing Strategies for Concurrent Building of Binary Decision Diagrams
Ordered chaining calculi for first order theories of binary relations
Implementation aspects of binary and non-binary low-density parity-check decoders : = Implementierungsaspekte binärer und nicht-binärer Kanaldecodierer
Domain-specific variable ordering for compiling binary decision diagrams from feature models