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