ISSN 1000-1239 CN 11-1777/TP
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
Journal of Computer Research and Development . 2017, (7): 1405 -1425 .  DOI: 10.7544/issn1000-1239.2017.20160303