RP-DeLP公司 6篇文献引用(2014–2023) 软件作者： 特蕾莎·阿尔西尼特；拉蒙贝加尔；戈多，Lluís；弗朗西斯科·吉塔特 相关软件： ProbLog；NLTK；编辑… 主要字段： 总体主题；藏品（00-XX）；历史与传记（01-XX）；数学逻辑与基础（03-XX）…
URSA公司 6篇文献引用(2012–2022) 软件作者： 贾尼奇，P。 相关软件： z3；卡环；MiniSat… 主要字段： 几何（51-XX）；计算机科学（68-XX）；运筹学，数学规划（90-XX）…