DAG-aware AIG rewriting a fresh look at combinational logic synthesis.

Alan Mishchenko, Satrajit Chatterjee, Robert K. Brayton

Browse the full DAC paper archive.