Alicia Manthe, C.-J. Richard Shi. Lower Bound Based DDD Minimization for Efficient Symbolic Circuit Analysis. In 19th International Conference on Computer Design (ICCD 2001), VLSI in Computers and Processors, 23-26 September 2001, Austin, TX, USA, Proceedings. pages 374-379, IEEE Computer Society, 2001.
Abstract is missing.