TY  - RPRT
TI  - Nonlinear Craig Interpolant Generation over Unbounded Domains by Separating Semialgebraic Sets
AU  - Hao Wu
AU  - Jie Wang
AU  - Bican Xia
AU  - Xiakun Li
AU  - Naijun Zhan
AU  - Ting Gan
PY  - 2024
UR  - https://arxiv.org/abs/2407.00625
ID  - 2407.00625
ER  -