Interpolant generation without constructing resolution graph.

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

Browse the full ICCAD paper archive.