Approximating Quantified SMT-Solving with SAT

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]

Possibly Related Publications

The following publications are possibly variants of this publication: