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]
Download261.61 KB
Minimizing ROBDD sizes of incompletely specified Boolean functions by exploiting strong symmetries Discovery
566405032
URN
urn:nbn:de:gbv:3:2-77201
DOI
ISBN
ISSN
Koordinaten
Skalierung
Autorin / Autor
Beiträger
Körperschaft
Erschienen
Halle : Martin Luther University Halle-Wittenberg, Department of Mathematics and Computer Science, 1996
Umfang
Online-Ressource (PDF-Datei: 17 S., 0,25 MB)
Ausgabevermerk
Sprache
eng
Anmerkungen
Inhaltliche Zusammenfassung
Schriftenreihe
Reports ; 1996,40 ppn:389849081