Interpolant generation without constructing resolution graph

作者：Chih-Jen Hsu, Shao-Lun Huang, Chi-An Wu, Chung-Yang Huang