Alan Mishchenko Robert K. Brayton Jie-Hong Roland Jiang Stephen Jang Scalable don't-care-based logic optimization and resynthesis. 151-160 2009 FPGA http://doi.acm.org/10.1145/1508128.1508152 conf/fpga/2009 db/conf/fpga/fpga2009.html#MishchenkoBJJ09