The nonapproximability of OBDD minimization
Information and Computation
Minimizing ROBDD Sizes of Incompletely Specified Boolean Functions by Exploiting Strong Symmetries
EDTC '97 Proceedings of the 1997 European conference on Design and Test
Hi-index | 0.00 |