A Counterexample-Guided Interpolant Generation Algorithm for SAT-Based Model Checking.
https://doi.org/10.1109/TCAD.2014.2363395
@article{DBLP:journals/tcad/WuWLH14,
author = {Cheng{-}Yin Wu and
Chi{-}An Wu and
Chien{-}Yu Lai and
Chung{-}Yang (Ric) Huang},
title = {A Counterexample-Guided Interpolant Generation Algorithm for SAT-Based
Model Checking},
journal = {{IEEE} Trans. on {CAD} of Integrated Circuits and Systems},
volume = {33},
number = {12},
pages = {1846--1858},
year = {2014},
url = {https://doi.org/10.1109/TCAD.2014.2363395},
doi = {10.1109/TCAD.2014.2363395},
timestamp = {Mon, 18 Dec 2017 15:54:05 +0100},
biburl = {https://dblp.org/rec/journals/tcad/WuWLH14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
本页面没有标签