Optimal redundancy removal without fixedpoint computation.

Michael L. Case, Jason Baumgartner, Hari Mony, Robert Kanzelman

Browse the full FMCAD paper archive.