Using SAT-based Craig interpolation to enlarge clock gating functions DAC 2011 2011 Authors: Ting-Hao Lin, Chung-Yang (Ric) Huang
