Titelaufnahme

Titel
Minimizing ROBDD sizes of incompletely specified Boolean functions by exploiting strong symmetries / [Martin-Luther-Universität Halle-Wittenberg, Fachbereich Mathematik und Informatik]. Chr. Scholl ... [Ed.: Professors and private docents of the Department of Mathematics and Computer Science, Martin Luther University Halle-Wittenberg]
VerfasserScholl, Christoph
ErschienenHalle : Department of Mathematics and Computer Science, Martin Luther University Halle-Wittenberg, 1996 ; Göttingen : Niedersächsische Staats- und Universitätsbibliothek
UmfangOnline-Ressource (PDF-Datei: 17 S., 0,25 MB)
SpracheEnglisch
SerieReports ; 1996,40
URNurn:nbn:de:gbv:3:2-77201 
Zugriffsbeschränkung
 Das Dokument ist frei verfügbar
Dateien
Minimizing ROBDD sizes of incompletely specified Boolean functions by exploiting strong symmetries [0.25 mb]
Links
Nachweis
Klassifikation