Starten Sie Ihre Suche...


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

Speeding up variable reordering of OBDDs

Trier: Univ., Mathematik/Informatik 1996 10 S. (Trierer Forschungsberichte ; 96-40)

Erscheinungsjahr: 1996

Publikationstyp: Buch

GeprüftBibliothek

Autoren

Meinel, Christoph (Autor)
Slobodová, Anna (Autor)

Verbundene Forschungsprojekte

Verknüpfte Personen

Christoph Meinel

Beteiligte Einrichtungen

Logo Informatikwissenschaften