Publications

[1].          Ting Gan, Liyun Dai, Naijun Zhan, Deepak Kapur, and Mingshuai Chen (2016): Interpolant Synthesis for Quadratic Polynomial Inequalities and Combination with EUF . In Proc. of IJCAR 2016, Lecture Notes in Computer Science 9706, pp.195-212. Slides.

[2].          Liyun Dai, Bican Xia, and Naijun Zhan (2013): Generating Non-linear Interpolants by Semidefinite Programming . In Proc. of CAV 2013, Lecture Notes in Computer Science 8044, pp.364–380.

---

Tutorials

TBA.

---

User manual

TBA.

---