Efficient Dynamic Minimization of Word-Level DDs Based on Lower Bound Computation.

Wolfgang Gnther, Rolf Drechsler, Stefan Hreth

Browse the full ICCD paper archive.