UnitWalk公司 33篇文献引用(2002–2023) 软件作者： 爱德华·赫施（Edward A.Hirsch）。；阿里斯特·科耶夫尼科夫 相关软件： 糠；SATO；BerkMin… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；统计力学，物质结构（82-XX）…
布洛克 33篇文献引用（2011年-2023年） 软件作者： Armin Biere、Florian Lonsing、Martina Seidl 相关软件： DepQBF；RAReQS；MiniSat… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；博弈论、经济学、金融和其他社会和行为科学（91-XX）
versat公司 13份文件引用(2012–2022) 软件作者： Oe，Duckki；阿伦·斯塔姆（Aaron Stump）；科里·奥利弗；凯文·克兰西 相关软件： Isabelle/HOL；Coq；箔条… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
水晶球 4份文件引用(2019–2022) 软件作者： 马特·索斯；拉加夫·库尔卡尼；Kuldeep S.梅尔。 相关软件： 糠；MiniSat；水獭… 主要字段： 计算机科学（68-XX）；运筹学、数学规划（90-XX）
防手表 4份文件引用(2018–2021) 软件作者： 戈泽尔，查拉图斯特拉；Jakubův，Jan；斯蒂芬·舒尔茨（Stephan Schulz）；约瑟夫·乌尔班 相关软件： E定理证明器；BliStrTune；谜… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
MapleAmpharos公司 1份文件引用（2021年） 软件作者： 赛义德·内贾蒂；纽瑟姆，扎克；约瑟夫·斯科特（Joseph Scott）；梁家辉；凯瑟琳·格博提斯（Catherine Gebotys）；Poupart，帕斯卡；维杰·加内什 相关软件： Transalg；斯普拉茨；AmPharoS… 主要字段： 计算机科学（68-XX）；运筹学、数学规划（90-XX）
PyRes公司 引用于2份文件(2020) 软件作者： 斯蒂芬·舒尔茨（Stephan Schulz）；亚当·皮斯 相关软件： VAMPIRE公司；iProver；E定理证明器… 主要字段： 计算机科学（68-XX）
PyOPAsolver公司 在0个文档中引用 软件作者： Abdesadik Bendarag；贾马尔·巴克卡斯（Jamal Bakkas）；穆罕默德·哈宁；奥马尔·布特霍姆 相关软件： 定义；BENSOLVE公司；DESDEO… 主要字段： –