马赫SMT 4份文件引用(2021–2022) 软件作者： 约瑟夫·斯科特（Joseph Scott）；艾娜·尼梅茨；马蒂亚斯·普雷纳（Mathias Preiner）；赛义德·内贾蒂；维杰·加内什 相关软件： 萨齐拉；MedleySolver；z3… 主要字段： 计算机科学（68-XX）
MedleySolver公司 3份文件引用(2021–2022) 软件作者： 尼基尔·皮姆帕尔切尔（Nikhil Pimpalkhare）；费德里科·莫拉；伊丽莎白·波尔格林（Elizabeth Polgreen）；Sanjit A.Seshia。 相关软件： 马赫SMT；萨齐拉；z3… 主要字段： 计算机科学（68-XX）