| SciPort RLP

Wir weisen darauf hin, dass wir technisch notwendige 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

DFG Fachgebiet:
- ohne Zuordnung

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)