托勒密 66份文件引用(1995–2022) 软件作者： Johan Eker、Jörn W.Janneck、Edward A.Lee、Jie Liu、Xiaojun Liu、Jozsef Ludvig、Stephen Neuendorffer、Sonia Sachs、Yuhong Xiong 相关软件： 大都市；卢斯特；状态流… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；运筹学，数学规划（90-XX）…
MOCA公司 20篇文献引用(1994–2023) 软件作者： 吉拉德·科伦（Gilad Koren）、丹尼斯·沙沙（Dennis Shasha） 相关软件： – 主要字段： 计算机科学（68-XX）；运筹学、数学规划（90-XX）；系统论；控制（93-XX）
SAPA公司 14篇文献引用(2002–2022) 软件作者： 做，M。；南卡罗来纳州坎班帕蒂。 相关软件： 图形平面图；PDDL；Walksat… 主要字段： 计算机科学（68-XX）；运筹学、数学规划（90-XX）
利特姆斯 4份文件引用(2012–2021) 软件作者： 卡拉德里诺，J.M。；Leontyev，H。；区块A。；加州大学Devi。。。 相关软件： PESPLib；羽毛履带 主要字段： 计算机科学（68-XX）
镜子 3份文件引用(2002–2020) 软件作者： 熊明；拉马姆里萨姆，克里蒂；Haritsa，Jayant R。；约翰·斯坦科维奇。 相关软件： SimDVS公司 主要字段： 计算机科学（68-XX）
LSTF公司 2份文件引用(1997–2018) 软件作者： 程伯超；亚历山大·斯托延科（Alexander D.Stoyenko）。；托马斯·马洛。；桑乔伊·K·巴鲁阿。 相关软件： 禁忌搜索 主要字段： 计算机科学（68-XX）；运筹学、数学规划（90-XX）
急板地 1份文件引用(2022) 软件作者： 塞纳帕蒂，德布拉塔；阿纳布·萨卡尔（Arnab Sarkar）；钱丹·卡法 相关软件： iFogSim；CPLEX公司 主要字段： 计算机科学（68-XX）