Drucker / Verleger → N

• Minimizing ROBDD sizes of incompletely specified Boolean functions by exploiting strong symmetries Scholl, Christoph Halle : Martin Luther University Halle-Wittenberg, Department of Mathematics and Computer Science, 1996 ; Göttingen : Niedersächsische Staats- und Universitätsbibliothek, 1996