Subarnarekha Sinha Alan Mishchenko Robert K. Brayton Topologically Constrained Logic Synthesis. 13-20 2002 IWLS db/conf/iwls/iwls2002.html#SinhaMB02