Scalable exploration of functional dependency by interpolation and incremental SAT solving.
https://doi.org/10.1109/ICCAD.2007.4397270
@inproceedings{DBLP:conf/iccad/LeeJHM07,
author = {Chih{-}Chun Lee and
Jie{-}Hong Roland Jiang and
Chung{-}Yang Huang and
Alan Mishchenko},
editor = {Georges G. E. Gielen},
title = {Scalable exploration of functional dependency by interpolation and
incremental {SAT} solving},
booktitle = {2007 International Conference on Computer-Aided Design, {ICCAD} 2007,
San Jose, CA, USA, November 5-8, 2007},
pages = {227--233},
publisher = {{IEEE} Computer Society},
year = {2007},
url = {https://doi.org/10.1109/ICCAD.2007.4397270},
doi = {10.1109/ICCAD.2007.4397270},
timestamp = {Wed, 16 Oct 2019 14:14:49 +0200},
biburl = {https://dblp.org/rec/conf/iccad/LeeJHM07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
本页面没有标签