Cheng-Yin Wu, Chi-An Wu, Chien-Yu Lai, Chung-Yang R. Haung. A Counterexample-Guided Interpolant Generation Algorithm for SAT-Based Model Checking. IEEE Trans. on CAD of Integrated Circuits and Systems, 33(12):1846-1858, 2014. [doi]
Abstract is missing.