Alan Mishchenko Xinning Wang Timothy Kam A new enhanced constructive decomposition and mapping algorithm. 143-148 2003 conf/dac/2003 DAC http://doi.acm.org/10.1145/775832.775871 db/conf/dac/dac2003.html#MishchenkoWK03