TY  - RPRT
TI  - Interpolation synthesis for quadratic polynomial inequalities and combination with EUF
AU  - Ting Gan
AU  - Liyun Dai
AU  - Bican Xia
AU  - Naijun Zhan
AU  - Deepak Kapur
AU  - Mingshuai Chen
PY  - 2016
UR  - https://arxiv.org/abs/1601.04802
ID  - 1601.04802
ER  -