%0 Conference Paper %1 conf/dac/WuWLH13 %A Wu, Cheng-Yin %A Wu, Chi-An %A Lai, Chien-Yu %A Huang, Chung-Yang (Ric) %B DAC %D 2013 %I ACM %K dblp %P 118:1-118:6 %T A counterexample-guided interpolant generation algorithm for SAT-based model checking. %U http://dblp.uni-trier.de/db/conf/dac/dac2013.html#WuWLH13 %@ 978-1-4503-2071-9

@inproceedings{conf/dac/WuWLH13, added-at = {2018-11-06T00:00:00.000+0100}, author = {Wu, Cheng-Yin and Wu, Chi-An and Lai, Chien-Yu and Huang, Chung-Yang (Ric)}, biburl = {https://www.bibsonomy.org/bibtex/2de2da6b40d56ffa315fa22b1d990185c/dblp}, booktitle = {DAC}, crossref = {conf/dac/2013}, ee = {https://doi.org/10.1145/2463209.2488879}, interhash = {7cd1dcf2f6b2fca6a5698c8f3ae7571b}, intrahash = {de2da6b40d56ffa315fa22b1d990185c}, isbn = {978-1-4503-2071-9}, keywords = {dblp}, pages = {118:1-118:6}, publisher = {ACM}, timestamp = {2018-11-07T15:14:27.000+0100}, title = {A counterexample-guided interpolant generation algorithm for SAT-based model checking.}, url = {http://dblp.uni-trier.de/db/conf/dac/dac2013.html#WuWLH13}, year = 2013 }