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