Titel |
Algorithmic considerations for ⊕-OBDD reordering / Ch. Meinel ; H. Sack. Universität Trier, Mathematik/Informatik |
|---|---|
Beteiligt |
Christoph Meinel (Verfasser) |
Erschienen |
Trier: Univ., Mathematik/Informatik |
Umfang |
7 Bl. : graph. Darst. |
Sprache |
|
Themengebiet |
|
Reihe |
Forschungsbericht / Universität Trier, Mathematik, Informatik ; Nr. 99,19 |
Datensatz-ID |
958143455 |
Hinweis
Die Betaversion beinhaltet noch nicht alle Funktionen und Informationen des Katalogs des DNB-Portals. Falls Sie Informationen vermissen oder ein Medium bestellen wollen, besuchen Sie bitte die entsprechende Seite im Katalog des DNB-Portals über folgenden Link: