Jason Baumgartner Hari Mony Maximal Input Reduction of Sequential Netlists via Synergistic Reparameterization and Localization Strategies. 222-237 2005 conf/charme/2005 CHARME http://dx.doi.org/10.1007/11560548_18 db/conf/charme/charme2005.html#BaumgartnerM05