Interpolant Synthesis for Quadratic Polynomial Inequalities and Combination with EUF.

Ting Gan, Liyun Dai, Bican Xia, Naijun Zhan, Deepak Kapur, Mingshuai Chen

Browse the full CADE paper archive.