ISSN 1000-1239 CN 11-1777/TP
SMT求解技术的发展及最新应用研究综述
王翀,吕荫润,陈力,王秀利,王永吉,
Survey on Development of Solving Methods and State-of-the-Art Applications of Satisfiability Modulo Theories
Wang Chong, Lü Yinrun, Chen Li, Wang Xiuli, Wang Yongji
计算机研究与发展 . 2017, (7): 1405 -1425 .  DOI: 10.7544/issn1000-1239.2017.20160303