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