Nonlinear Craig Interpolant Generation Over Unbounded Domains by Separating Semialgebraic Sets.

Hao Wu, Jie Wang, Bican Xia, Xiakun Li, Naijun Zhan, Ting Gan

Browse the full FM paper archive.