Alan Mishchenko, Xinning Wang, Timothy Kam. A new enhanced constructive decomposition and mapping algorithm. In Proceedings of the 40th Design Automation Conference, DAC 2003, Anaheim, CA, USA, June 2-6, 2003. pages 143-148, ACM, 2003. [doi]
Abstract is missing.