PaInleSS公司 10篇文献引用(2018–2023) 软件作者: 勒弗里克斯,卢多维奇;苏海卜·巴里尔;朱利安·索佩纳;法布里斯·科登 相关软件: ManySAT;弯曲;Treengeling… 主要字段: 组合数学(05-XX);计算机科学(68-XX);运筹学、数学规划(90-XX)
LeoPARD公司 8份文件引用(2015–2021) 软件作者: 马克斯·维斯涅夫斯基(Max Wisniewski);亚历山大·斯蒂恩(Alexander Steen);克里斯托夫·本兹穆勒 相关软件: TPTP;Leo-III;沙达拉… 主要字段: 数学逻辑与基础(03-XX);范畴理论;同调代数(18-XX);计算机科学(68-XX)
PMiniSAT公司 2份文件引用(2009–2012) 软件作者: 朱棣文;彼得·J·斯塔基 相关软件: ManySAT;CryptoMiniSat;弯曲… 主要字段: 计算机科学(68-XX);运筹学、数学规划(90-XX)
SArTagnan公司 2份文件引用(2012–2014) 软件作者: Kottler,S.、Kaufmann,M。 相关软件: 糠;ManySAT;MiniSat… 主要字段: 计算机科学(68-XX);运筹学、数学规划(90-XX)