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