Chih-Jen Hsu, Shao-Lun Huang, Chi-An Wu, Chung-Yang Huang. Interpolant generation without constructing resolution graph. In 2009 International Conference on Computer-Aided Design (ICCAD 09), November 2-5, 2009, San Jose, CA, USA. pages 9-12, IEEE, 2009. [doi]
Abstract is missing.