| SciPort RLP

Durch die Nutzung unserer Webseite erklären Sie sich damit einverstanden, dass wir Cookies verwenden. Weitere Informationen

Speeding up Variable Ordering of OBDDs

Proc. Of IEEE ICCD ´97. 1997 S. 338 - 343

Erscheinungsjahr: 1997

Publikationstyp: Diverses

Autoren

Meinel, C. (Autor)

Slobodová, A. (Autor)

Klassifikation

DDC Sachgruppe:
Allgemeines, Wissenschaft

Verbundene Forschungsprojekte

VLSI-Effiziente Algorithmen und Datenstrukturen

Verknüpfte Personen

Christoph Meinel
Mitarbeiter/in
(Informatikwissenschaften)

Beteiligte Einrichtungen

Informatikwissenschaften
(Universität Trier)