Xianjin Fu, Wanwei Liu, Jing Li. Approximating Quantified SMT-Solving with SAT. In Fifth International Conference on Secure Software Integration and Reliability Improvement, SSIRI 2011, 27-29 June, 2011, Jeju Island, Korea - Companion Volume. pages 114-119, IEEE, 2011. [doi]
@inproceedings{FuLL11,
title = {Approximating Quantified SMT-Solving with SAT},
author = {Xianjin Fu and Wanwei Liu and Jing Li},
year = {2011},
doi = {10.1109/SSIRI-C.2011.40},
url = {http://doi.ieeecomputersociety.org/10.1109/SSIRI-C.2011.40},
researchr = {https://researchr.org/publication/FuLL11},
cites = {0},
citedby = {0},
pages = {114-119},
booktitle = {Fifth International Conference on Secure Software Integration and Reliability Improvement, SSIRI 2011, 27-29 June, 2011, Jeju Island, Korea - Companion Volume},
publisher = {IEEE},
isbn = {978-0-7695-4454-0},
}