SAT-controlled redundancy addition and removal: a novel circuit restructuring technique

作者：Chi-An Wu, Ting-Hao Lin, Shao-Lun Huang, Chung-Yang Huang