%0 Conference Paper %1 conf/cade/GanDXZKC16 %A Gan, Ting %A Dai, Liyun %A Xia, Bican %A Zhan, Naijun %A Kapur, Deepak %A Chen, Mingshuai %B IJCAR %D 2016 %E Olivetti, Nicola %E Tiwari, Ashish %I Springer %K dblp %P 195-212 %T Interpolant Synthesis for Quadratic Polynomial Inequalities and Combination with EUF. %U http://dblp.uni-trier.de/db/conf/cade/ijcar2016.html#GanDXZKC16 %V 9706 %@ 978-3-319-40228-4

@inproceedings{conf/cade/GanDXZKC16, added-at = {2017-05-21T00:00:00.000+0200}, author = {Gan, Ting and Dai, Liyun and Xia, Bican and Zhan, Naijun and Kapur, Deepak and Chen, Mingshuai}, biburl = {https://www.bibsonomy.org/bibtex/252d72f75775e42e0fe72d7f48450ed0d/dblp}, booktitle = {IJCAR}, crossref = {conf/cade/2016}, editor = {Olivetti, Nicola and Tiwari, Ashish}, ee = {https://doi.org/10.1007/978-3-319-40229-1_14}, interhash = {3d92e1b566dfbe08d06e8b7cdefbc7e3}, intrahash = {52d72f75775e42e0fe72d7f48450ed0d}, isbn = {978-3-319-40228-4}, keywords = {dblp}, pages = {195-212}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2024-04-09T18:55:24.000+0200}, title = {Interpolant Synthesis for Quadratic Polynomial Inequalities and Combination with EUF.}, url = {http://dblp.uni-trier.de/db/conf/cade/ijcar2016.html#GanDXZKC16}, volume = 9706, year = 2016 }