转向器电源 2份文件引用(2016–2018) 软件作者： A.Hazra、R.Mukherjee、P.Dasgupta、A.Pal、K.Harer、A.Banerjee和S.Mukhersjee 相关软件： MiniSat；通行证；AMT… 主要字段： 总体主题；藏品（00-XX）；计算机科学（68-XX）
STABLE（稳定） 2份文件引用(2014–2018) 软件作者： Pavlenko，E。；韦德勒，M。；斯托菲尔，D。；Kunz，W。；等人。 相关软件： 单数；宠物老板；ABC… 主要字段： 交换代数（13-XX）；计算机科学（68-XX）；信息与通信理论，电路（94-XX）
xMAML公司 在0个文档中引用 软件作者： Lallet，J.、Pillement，S.、Sentieys，O。 相关软件： OCaml；FPath；ByADL… 主要字段： 计算机科学（68-XX）
Valse-XT公司 1份文件引用(2009) 软件作者： 托比亚斯·阿切特贝格（ZIB） 相关软件： MiniSat；优化软件的决策树；SIMPL… 主要字段： 计算机科学（68-XX）；运筹学、数学规划（90-XX）