On the Complexity of the Hidden Weighted Bit Function for Various BDD Models

Ordered binary decision diagrams (OBDDs) and several more general BDD models have turned out to be representations of Boolean functions which are useful in applications like verification, timing analysis, test pattern generation or combinatorial optimization. The hidden weighted bit function (HWB) i...

Ausführliche Beschreibung

Gespeichert in:

Bibliographische Detailangaben
Veröffentlicht in:	RAIRO. Informatique théorique et applications 1999-03, Vol.33 (2), p.103-115
Hauptverfasser:	Bollig, Beate, Löbbing, Martin, Sauerhoff, Martin, Wegener, Ingo
Format:	Artikel
Sprache:	eng
Schlagworte:	68Q05 68Q15 94C10 Algorithmics. Computability. Computer arithmetics Applied sciences Automata. Abstract machines. Turing machines binary decision diagram Complexity Computer science control theory systems Electric, optical and optoelectronic circuits Electronics Exact sciences and technology hidden weighted bit function OBDD Theoretical computing Theoretical study. Circuits analysis and design
Online-Zugang:	Volltext
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Schreiben Sie den ersten Kommentar!