Combinational and sequential mapping with priority cuts.

Alan Mishchenko, Sungmin Cho, Satrajit Chatterjee, Robert K. Brayton

Browse the full ICCAD paper archive.