克林戈 139篇文献引用(2009–2023) 软件作者： 马丁·格布瑟；罗兰·卡明斯基；本杰明·考夫曼；托尔斯滕·绍布 相关软件： 格林戈；卡环；WASP… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；运筹学，数学规划（90-XX）…
格林戈 110篇文献引用(2007–2023) 软件作者： 马丁·格布瑟、罗兰·卡明斯基、本杰明·考夫曼、马克斯·奥斯特罗斯基、托尔斯滕·绍布、斯文·蒂勒 相关软件： 克林戈；卡环；WASP… 主要字段： 数学逻辑与基础（03-XX）；统计学（62-XX）；计算机科学（68-XX）…
NDSPMHD公司 70篇文献引用(2012–2024) 软件作者： 丹尼尔·普莱斯（Daniel J.Price）。 相关软件： 双球面物理学；幻影；GADGET… 主要字段： 数值分析（65-XX）；可变形固体力学（74-XX）；流体力学（76-XX）…
DLV2型 26篇文献引用(2017–2022) 软件作者： 阿尔维亚诺，马里奥；弗朗西斯科·卡利默里；多达罗、卡明；福斯科，戴维德；尼古拉·利昂内（Nicola Leone）；佩丽，西蒙娜；弗朗西斯科·里卡；维尔特里，皮尔弗兰西斯科；Jessica Zangari 相关软件： 克林戈；WASP；扣… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
GASP公司 18篇文献引用(2008–2022) 软件作者： 亚历山德罗·达尔·帕鲁；阿戈斯蒂诺·多维尔；恩里科·蓬泰利（Enrico Pontelli）；吉安弗兰科·罗西 相关软件： 克林戈；格林戈；WASP… 主要字段： 计算机科学（68-XX）
sCASP公司 18篇文献引用(2018–2023) 软件作者： 华金·阿里亚斯（Joaquin Arias）、曼努埃尔·卡罗（Manuel Carro）、埃尔默·萨拉查（Elmer Salazar）、凯尔·马普尔（Kyle Marple）、戈帕尔·古普塔（Gopal Gupta） 相关软件： 克林戈；ezcsp；GitHub… 主要字段： 计算机科学（68-XX）；运筹学、数学规划（90-XX）；生物学和其他自然科学（92-XX）
DLV-EX公司 16篇文献引用(2007–2021) 软件作者： 弗朗西斯科·卡利默里；苏珊娜·科萨；乔瓦姆巴蒂斯塔·伊安尼 相关软件： 克林孔；克林戈；接通DLV… 主要字段： 计算机科学（68-XX）；生物学和其他自然科学（92-XX）
iClingo公司 12份文件引用(2009–2022) 软件作者： 罗兰·卡明斯基 相关软件： 克林戈；卡环；格林戈… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；博弈论、经济学、金融和其他社会和行为科学（91-XX）
Lpopt公司 10篇文献引用(2017–2022) 软件作者： Manuel Bichler；迈克尔·莫拉克（Michael Morak）；斯特凡·沃尔特兰 相关软件： 克林戈；格林戈；格拉帕… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
OMiGA公司 9份文件引用(2015–2021) 软件作者： 明道然；托马斯·艾特；迈克尔·芬克；杰拉尔德·魏丁格；安东尼乌斯·温齐尔 相关软件： 克林戈；格林戈；GASP… 主要字段： 计算机科学（68-XX）
出售 9份文件引用(2019–2022) 软件作者： Manuel Bichler、Michael Morak、Stefan Woltran 相关软件： 克林戈；htd；GitHub… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
CSP2SAT4J型 3份文件引用(2014–2016) 软件作者： 勒贝雷，D.，林奇，I。 相关软件： 微量锌；萨齐拉；阿祖卡… 主要字段： 计算机科学（68-XX）；运筹学、数学规划（90-XX）
振动贝特 2份文件引用(2022) 软件作者： 贾森·卢（Jiasen Lu）、德鲁夫·巴特拉（Dhruv Batra）、德维·帕里赫（Devi Parikh）、斯特凡·李（Stefan Lee） 相关软件： 亚当；Flickr30K；VideoBERT… 主要字段： 计算机科学（68-XX）
K加热器 3份文件引用(2012) 软件作者： 马克·芬塔默（Marc Finthammer）；马蒂亚斯·蒂姆 相关软件： 炼金术；ProbLog（问题日志） 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
产品生命周期管理 3份文件引用(2020) 软件作者： 丹尼尔·基什内尔 相关软件： Isabelle/HOL；精益；逻辑键… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；粒子和系统力学（70-XX）
视觉7W 3份文件引用(2022–2023) 软件作者： 朱宇科、奥利弗·格罗斯、迈克尔·伯恩斯坦、李飞飞 相关软件： VQA；BLEU；流星… 主要字段： 计算机科学（68-XX）；生物学和其他自然科学（92-XX）；系统论；控制（93-XX）
坎比 2份文件引用(2017–2019) 软件作者： Akhilesh Srikanth；Burak Sahin；威廉·R·哈里斯。 相关软件： 石笼SCC；CAVA LTL模型检查器；Coq… 主要字段： 计算机科学（68-XX）
数据-Fu 2份文件引用(2015–2017) 软件作者： 斯塔特米勒、斯特芬、斯佩塞、塞巴斯蒂安、哈特、安德烈亚斯、鲁迪·斯图德 相关软件： 耶拿；谷物；DBpedia… 主要字段： 计算机科学（68-XX）
福克斯公共安全实验室 1份文件引用(2017) 软件作者： Sara Magliabane；菲利普·斯图茨（Philip Stutz）；保罗·格罗斯；亚伯拉罕·伯恩斯坦 相关软件： 索赔评估；HyPER；博客… 主要字段： 统计学（62-XX）；计算机科学（68-XX）
语言2LTL 2份文件引用(2023) 软件作者： 刘新宇；杨，Z。；Idrees，I。；Liang，S。；肖恩斯坦，B。；Tellex，S.公司。；A.沙阿。 相关软件： OpenAI健身房；AMYTISS公司；深度合成… 主要字段： 计算机科学（68-XX）；粒子和系统力学（70-XX）；系统论；控制（93-XX）
空间ML 在0个文档中引用 软件作者： Inderjeet Mani、Janet Hitzeman、Justin Richer、Dave Harris、Rob Quimby、Ben Wellner 相关软件： VerbNet；SUMO公司 主要字段： –
TEACh公司 1份文件引用(2022) 软件作者： Aishwarya Padmakumar、Jesse Thomason、Ayush Shrivastava、Patrick Lange、Anjali Narayan-Chen、Spandana Gella、Robinson Piramuthu、Gokhan Tur、Dilek Hakkani-Tur 相关软件： 阿拉纳；埃利扎；Foto法医学… 主要字段： 计算机科学（68-XX）
ESP处理器 1份文件引用(2019) 软件作者： Cui，R.，Zhang，Z.，Zhao，K。 相关软件： GitHub；ELPS；ES模型… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
MDETR公司 在0个文档中引用 软件作者： Aishwarya Kamath、Mannat Singh、Yann LeCun、Gabriel Synnaeve、Ishan Misra、Nicolas Carion 相关软件： COVAREP；RUBi；OpenFace… 主要字段： –
TOTBEM公司 1份文件引用(2012) 软件作者： 科洛米纳斯一世、巴黎J、费尔南德斯D、纳瓦里纳F、卡斯特莱罗M。 相关软件： – 主要字段： 数值分析（65-XX）；光学、电磁理论（78-XX）
伏特 1份文件引用(2015) 软件作者： Ravi Mangal；张欣；阿迪蒂亚·诺里（Aditya V.Nori）。；马约·奈克 相关软件： 炼金术；CCLS；RockIt… 主要字段： 计算机科学（68-XX）