A counterexample-guided interpolant generation algorithm for SAT-based model checking 會議 DAC 年份 2013 作者：Cheng-Yin Wu, Chi-An Wu, Chien-Yu Lai, Chung-Yang (Ric) Huang
