SAT-controlled redundancy addition and removal: a novel circuit restructuring technique Venue ASP-DAC Year 2009 Authors: Chi-An Wu, Ting-Hao Lin, Shao-Lun Huang, Chung-Yang Huang
