Wolfgang Günther, Rolf Drechsler, Stefan Höreth. Efficient Dynamic Minimization of Word-Level DDs Based on Lower Bound Computation. In ICCD. pages 383-388, 2000. [doi]
No references recorded for this publication.
No citations of this publication recorded.