Hari Mony, Jason Baumgartner, Viresh Paruthi, Robert Kanzelman. Exploiting suspected redundancy without proving it. In William H. Joyner Jr., Grant Martin, Andrew B. Kahng, editors, Proceedings of the 42nd Design Automation Conference, DAC 2005, San Diego, CA, USA, June 13-17, 2005. pages 463-466, ACM, 2005. [doi]
Abstract is missing.