Alan Mishchenko Sungmin Cho Satrajit Chatterjee Robert K. Brayton Combinational and sequential mapping with priority cuts. 354-361 2007 conf/iccad/2007 ICCAD http://doi.acm.org/10.1145/1326073.1326147 db/conf/iccad/iccad2007.html#MishchenkoCCB07