Interpolant generation without constructing resolution graph ICCAD 2009 2009 Authors: Chih-Jen Hsu, Shao-Lun Huang, Chi-An Wu, Chung-Yang Huang
