SMT求解技术简述

SMT求解技术简述

金继伟，马菲菲，张健

Brief Introduction to SMT Solving

JIN Jiwei, MA Feifei, ZHANG Jian

计算机科学与探索 . 2015, (7): 769 -780 . DOI: 10.3778/j.issn.1673-9418.1405041