克林戈 139篇文献引用(2009–2023) 软件作者: 马丁·格布瑟;罗兰·卡明斯基;本杰明·考夫曼;托尔斯滕·绍布 相关软件: 格林戈;卡环;WASP… 主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX);运筹学,数学规划(90-XX)…
DLV公司 引用于29份文件(2001–2022) 软件作者: 乔瓦尼·格拉索;萨尔瓦多伊里塔诺;尼古拉·利昂内(Nicola Leone);弗朗西斯科·里卡 相关软件: WASP;格林戈;扣… 主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX);运筹学,数学规划(90-XX)…
日志MIP 24篇文献引用(2002–2023) 软件作者: 阿尔多·维切蒂(Aldo Vecchietti);伊格纳西奥·格罗斯曼 相关软件: GAMS;邦明;SCIP… 主要字段: 变异微积分和最优控制;优化(49-XX);数值分析(65-XX);计算机科学(68-XX)…
立方厘米(FD) 18篇文献引用(1998–2022) 软件作者: 范·亨特利克(Van Hentenryck),帕斯卡(Pascal);维杰·萨拉斯瓦特;伊夫·迪维尔 相关软件: CPLEX;彗星;Choco… 主要字段: 组合数学(05-XX);数值分析(65-XX);计算机科学(68-XX)…
ASPARTIX公司 17篇文献引用(2011–2019) 软件作者: Uwe Egly;莎拉·爱丽丝·加格尔(Sarah Alice Gaggl);斯特凡·沃尔特兰 相关软件: 邓金;MiniSat;CoQuiAAS… 主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX);博弈论、经济学、金融和其他社会和行为科学(91-XX)
教练总成 引用于2份文件(2011–2017) 软件作者: F.J.Berlanga。;里维拉,A.J。;德尔·耶稣,M.J。;F.埃雷拉。 相关软件: KEEL;UCI-ml;福利亚… 主要字段: 统计学(62-XX);计算机科学(68-XX);运筹学,数学规划(90-XX)…
接通DLV 引用于8份文件(2009–2021) 软件作者: Ricca,F.、Gallucci,L.、Schindlauer,R.、Dell'armi,T.、Grasso,G.、Leone,N。 相关软件: DLV-EX;颗粒;Lparse… 主要字段: 计算机科学(68-XX)
出售 引用于8份文件(2019–2022) 软件作者: Manuel Bichler、Michael Morak、Stefan Woltran 相关软件: 克林戈;htd;ES模型… 主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)
DWAM公司 3份文件引用(2002–2003) 软件作者: Rajasekar,A.和Yusuf,H 相关软件: SATCHMOREBID;DCTP;I-SATCHMO… 主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)