计算机研究与发展
       ISSN 1000-1239   CN 11-1777/TP  
   RSS  Email Alert     
   
 
Nianqi Search Key words Adv search
33
Journal of Computer Research and Development  2017, Vol. 54 Issue (7): 1405-1425    DOI: 10.7544/issn1000-1239.2017.20160303
Current Issue | Archive | Adv Search |
Survey on Development of Solving Methods and State-of-the-Art Applications of Satisfiability Modulo Theories
Wang Chong1,2,3, Lü Yinrun1,2,3, Chen Li1,2,3, Wang Xiuli4, Wang Yongji1,3
1(National Engineering Research Center for Fundamental Software (Institute of Software, Chinese Academy of Sciences), Beijing 100190);2(University of Chinese Academy of Sciences, Beijing 100049);3(State Key Laboratory of Computer Science (Institute of Software, Chinese Academy of Sciences), Beijing 100190);4(School of Information, Central University of Finance and Economics, Beijing 100081)
Copyright © Editorial Board of Journal of Computer Research and Development
Supported by:Beijing Magtech