马赫SMT 4份文件引用(2021年至2022年) 软件作者: 约瑟夫·斯科特(Joseph Scott);艾娜·尼梅茨;马蒂亚斯·普雷纳(Mathias Preiner);赛义德·内贾蒂;Ganesh,维杰 相关软件: MedleySolver;萨齐拉;z3… 主要字段: 计算机科学(68-XX)