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]