Minimizing ROBDD sizes of incompletely specified Boolean functionsby exploiting strong symmetries. - Christoph Scholl 001; S. Melchior; Günter Hotz; Paul Molitor (ED&TC, 1997)