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