Mingshuai Chen, Jian Wang 0042, Jie An, Bohua Zhan, Deepak Kapur, Naijun Zhan
NIL: Learning Nonlinear Interpolants
CADE, 2019.
@inproceedings{CADE-2019-ChenWAZKZ,
author = "Mingshuai Chen and Jian Wang 0042 and Jie An and Bohua Zhan and Deepak Kapur and Naijun Zhan",
booktitle = "{Proceddings of the 27th International Conference on Automated Deduction}",
doi = "10.1007/978-3-030-29436-6_11",
isbn = "['978-3-030-29435-9', '978-3-030-29436-6']",
pages = "178--196",
publisher = "{Springer}",
title = "{NIL: Learning Nonlinear Interpolants}",
year = 2019,
}
Tags:
