Katalog der Deutschen Nationalbibliothek
Ergebnis der Suche nach: tit all "A Heuristic for (+)-OBDD Minimization"
Link zu diesem Datensatz | https://d-nb.info/96167914X |
Titel | A heuristic for ⊕-OBDD minimization / Christoph Meinel ; Harald Sack. Universität Trier, Mathematik/Informatik |
Person(en) |
Meinel, Christoph (Verfasser) Sack, Harald (Verfasser) |
Verlag | Trier : Univ., Mathematik/Informatik |
Zeitliche Einordnung | Erscheinungsdatum: 2001 |
Umfang/Format | 8 Bl. : graph. Darst. ; 30 cm |
ISBN/Einband/Preis | geh. |
Sprache(n) | Englisch (eng) |
Beziehungen | Universität Trier. Abteilung Mathematik: Forschungsbericht ; Nr. [20]01,06 |
Sachgruppe(n) | 28 Informatik, Datenverarbeitung |
Frankfurt |
Signatur: 2001 B 12069
Bereitstellung in Frankfurt |
Leipzig |
Signatur: 2001 B 12069
Bereitstellung in Leipzig |