克林戈 140篇文献引用(2009–2024) 软件作者： 马丁·格布瑟；罗兰·卡明斯基；本杰明·考夫曼；托尔斯滕·绍布 相关软件： 格林戈；卡环；黄蜂… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；运筹学，数学规划（90-XX）…
格林戈 110篇文献引用(2007–2023) 软件作者： 马丁·格布瑟、罗兰·卡明斯基、本杰明·考夫曼、马克斯·奥斯特罗斯基、托尔斯滕·绍布、斯文·蒂勒 相关软件： 克林戈；卡环；黄蜂… 主要字段： 数学逻辑与基础（03-XX）；统计学（62-XX）；计算机科学（68-XX）…
扣环 104篇文献引用(2007–2022) 软件作者： 马丁·格布瑟（Martin Gebser）、本杰明·考夫曼（Benjamin Kaufmann）、安德烈·诺依曼（AndréNeumann）、托尔斯滕·绍布（Torsten Schaub） 相关软件： 格林戈；克林戈；黄蜂… 主要字段： 数学逻辑与基础（03-XX）；组合数学（05-XX）；计算机科学（68-XX）…
Potassco公司 82份文件引用(2008–2023) 软件作者： 马丁·格布瑟（Martin Gebser）；本杰明·考夫曼；罗兰·卡明斯基（Roland Kaminski）；马克斯·奥斯特罗斯基；托尔斯滕·绍布（Torsten Schaub）；马吕斯·施奈德 相关软件： 克林戈；格林戈；扣… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；运筹学，数学规划（90-XX）…
Clingcon公司 39篇文献引用(2009–2022) 软件作者： 马丁·格布瑟；马克斯·奥斯特罗斯基；托尔斯滕·绍布 相关软件： 克林戈；卡环；格林戈… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；博弈论、经济学、金融和其他社会和行为科学（91-XX）…
DLV2型 26篇文献引用(2017–2022) 软件作者： 阿尔维亚诺，马里奥；弗朗西斯科·卡利默里；多达罗、卡明；福斯科，戴维德；尼古拉·利昂内（Nicola Leone）；佩丽，西蒙娜；弗朗西斯科·里卡；维尔特里，皮尔弗兰西斯科；Jessica Zangari 相关软件： 克林戈；WASP；扣… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
阿司匹林 21篇文献引用(2015–2023) 软件作者： 格哈德·布鲁卡、詹姆斯·德尔格兰德、哈维尔·罗梅罗、托尔斯滕·绍布 相关软件： 克林戈；Potassco；黄蜂… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；运筹学、数学规划（90-XX）
折页2 14篇文献引用(2014–2022) 软件作者： 胡斯，霍尔格；马吕斯·林道尔；托尔斯滕·绍布 相关软件： 萨齐拉；SMAC；MiniSat… 主要字段： 组合数学（05-XX）；计算机科学（68-XX）
阳光 13份文件引用(2014–2023) 软件作者： 罗伯托·阿马迪尼；毛里齐奥·加布里埃利；雅各布·毛罗 相关软件： 萨齐拉；微量锌；变形杆菌… 主要字段： 几何（51-XX）；计算机科学（68-XX）；运筹学、数学规划（90-XX）
阿司匹林 12份文件引用(2012–2022) 软件作者： 胡斯，霍尔格；罗兰·卡明斯基（Roland Kaminski）；马吕斯·林道尔；托尔斯滕·绍布 相关软件： 萨齐拉；阳光；SMAC… 主要字段： 计算机科学（68-XX）；运筹学、数学规划（90-XX）
Lpopt公司 10篇文献引用(2017–2022) 软件作者： Manuel Bichler；迈克尔·莫拉克（Michael Morak）；斯特凡·沃尔特兰 相关软件： 克林戈；格林戈；格拉帕… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
OMiGA公司 9份文件引用(2015–2021) 软件作者： 明道然；托马斯·艾特；迈克尔·芬克；杰拉尔德·魏丁格；安东尼乌斯·温齐尔 相关软件： 克林戈；格林戈；GASP… 主要字段： 计算机科学（68-XX）
普拉萨普 9份文件引用(2012–2021) 软件作者： 马丁·格布瑟（Martin Gebser）；罗兰·卡明斯基（Roland Kaminski）；穆拉特·奈赫特（Murat Knecht）；托尔斯滕·绍布 相关软件： PDDL；克林戈；ROSoClingo… 主要字段： 总体主题；藏品（00-XX）；数学逻辑与基础（03-XX）；计算机科学（68-XX）…
出售 9份文件引用(2019–2022) 软件作者： Manuel Bichler、Michael Morak、Stefan Woltran 相关软件： 克林戈；htd；GitHub… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
D-扁平 8份文件引用(2012–2020) 软件作者： Bliem，B.，Morak，M.，Woltran，S。；Abseher，M.、Bliem，B.、Charwat，G.、Dusberger，F.、Hecher，M。 相关软件： 克林戈；杰拉西尔；计算TW… 主要字段： 组合数学（05-XX）；计算机科学（68-XX）；运筹学，数学规划（90-XX）…
PLATYPUS公司 7份文件引用(2005–2011) 软件作者： Jean Gressmann；汤米·詹胡宁；罗伯特·默瑟（Robert E.Mercer）。；托尔斯滕·绍布（Torsten Schaub）；蒂勒，斯文；理查德·蒂希 相关软件： 亚萨特；C模型；平滑… 主要字段： 计算机科学（68-XX）
诺莫尔++ 6篇文献引用(2005–2012) 软件作者： 愤怒，克里斯蒂安；马丁·格布瑟（Martin Gebser）；托马斯·林奇（Thomas Linke）；安德烈·诺伊曼；托尔斯滕·绍布 相关软件： 亚萨特；C模型；NoMoRe… 主要字段： 总体主题；藏品（00-XX）；数学逻辑与基础（03-XX）；计算机科学（68-XX）
辐条 4份文件引用(2008–2020) 软件作者： Gebser，M.、Pührer，J.、Schaub，T.、Tompits，H.、Woltran，S。 相关软件： 格林戈；天基信息平台；SeaLion… 主要字段： 总体主题；藏品（00-XX）；计算机科学（68-XX）
REBA公司 5份文件引用(2019–2023) 软件作者： 莫汉·斯里德哈兰；Michael Gelfond；张世奇；杰里米·怀亚特 相关软件： 人民；CCalc；AlphaZero… 主要字段： 计算机科学（68-XX）；运筹学、数学规划（90-XX）
埃林戈 4份文件引用(2020–2022) 软件作者： 佩德罗·卡巴拉尔；豪尔赫·范丁诺；哈维尔·加里亚（Javier Garea）；哈维尔·罗梅罗；托尔斯滕·绍布 相关软件： 克林戈；出售；htd… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
Jive公司 4份文件引用(2016–2023) 软件作者： Lingen EJ、Stroeven M公司 相关软件： Gmsh；亚当；F3DAM… 主要字段： 数值分析（65-XX）；可变形固体力学（74-XX）；生物学和其他自然科学（92-XX）
茶匙 4份文件引用(2017–2022) 软件作者： Banbara，M.、Inoue，K.、Kaufmann，B.、Schaub，T.、Soh，T.和Tamura，N.、Wanko，P。 相关软件： 格林戈；OR-tools；Clingo… 主要字段： 计算机科学（68-XX）；运筹学、数学规划（90-XX）
dl2asp公司 引用于3份文件(2010–2021) 软件作者： 陈，尹；万，海；张燕；周毅 相关软件： DeReS；CUDA；Lparse（L解析） 主要字段： 计算机科学（68-XX）；运筹学、数学规划（90-XX）；博弈论、经济学、金融和其他社会和行为科学（91-XX）
莫维奥拉 引用于3份文件(2017–2019) 软件作者： 奥昆特Sabunu；莱特，乔~ao 相关软件： 克林戈；扣带；MiniSat… 主要字段： 总体主题；藏品（00-XX）；计算机科学（68-XX）
MC测试 1份文件引用(2020) 软件作者： Matthew Richardson、Christopher J.C.Burges、Erin Renshaw 相关软件： VQA；ImageNet；CIDEr… 主要字段： 计算机科学（68-XX）