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]
Loading...
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
Author
dc.contributor.contributor
Other contributor
Publication history
Halle : Martin Luther University Halle-Wittenberg, Department of Mathematics and Computer Science, 1996
Content
Online-Ressource (PDF-Datei: 17 S., 0,25 MB)
Edition
Language
eng
Comment
Abstract
Series
Reports ; 1996,40 ppn:389849081