Interpolant generation without constructing resolution graph.
https://doi.org/10.1145/1687399.1687402
@inproceedings{DBLP:conf/iccad/HsuHWH09,
author = {Chih{-}Jen Hsu and
Shao{-}Lun Huang and
Chi{-}An Wu and
Chung{-}Yang Huang},
editor = {Jaijeet S. Roychowdhury},
title = {Interpolant generation without constructing resolution graph},
booktitle = {2009 International Conference on Computer-Aided Design, {ICCAD} 2009,
San Jose, CA, USA, November 2-5, 2009},
pages = {9--12},
publisher = {{ACM}},
year = {2009},
url = {https://doi.org/10.1145/1687399.1687402},
doi = {10.1145/1687399.1687402},
timestamp = {Wed, 16 Oct 2019 14:14:49 +0200},
biburl = {https://dblp.org/rec/conf/iccad/HsuHWH09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
本页面没有标签