Alan Mishchenko Satrajit Chatterjee Robert K. Brayton DAG-aware AIG rewriting a fresh look at combinational logic synthesis. 532-535 2006 conf/dac/2006 DAC http://doi.acm.org/10.1145/1146909.1147048 db/conf/dac/dac2006.html#MishchenkoCB06