EFSMT公司 2份文件引用(2016–2019) 软件作者： Cheng CH、Shankar N、Ruess H、Bensalem S 相关软件： z3；Yices；SMT-RAT… 主要字段： 计算机科学（68-XX）
FP泰勒 1份文件引用(2022) 软件作者： 阿列克谢·索洛维耶夫；马雷克·巴拉诺夫斯基。；Briggs Ian；查尔斯·雅各布森；拉库马里奇，兹沃尼米尔；加内什·戈帕拉克里什南 相关软件： dReal；HOL灯；QEPCAD… 主要字段： 计算机科学（68-XX）