Cheng-Yin Wu, Chi-An Wu, Chien-Yu Lai, Chung-Yang (Ric) Huang. A counterexample-guided interpolant generation algorithm for SAT-based model checking. In The 50th Annual Design Automation Conference 2013, DAC '13, Austin, TX, USA, May 29 - June 07, 2013. pages 118, ACM, 2013. [doi]
Abstract is missing.