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]

Scholl, Christoph2025-05-291996https://epflicht.bibliothek.uni-halle.de/handle/123456789/5036566405032urn:nbn:de:gbv:3:2-772012608339Online-Ressource (PDF-Datei: 17 S., 0,25 MB)enghttp://rightsstatements.org/vocab/InC/1.0/510Minimizing 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]Book