×

找到12个软件包(结果1-12)

克林戈

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)

ASP工具

5份文件引用(2009–2022)
软件作者: 托米·詹胡宁
相关软件: 亚萨特;DLV;WASP…
主要字段: 计算机科学(68-XX)

TCAS公司

引用于2份文件(2012–2017)
软件作者: A.哥特利布。
相关软件: z3;SMT-LIB;迷你卫星…
主要字段: 计算机科学(68-XX);运筹学,数学编程(90-XX)

DWAM公司

3份文件引用(2002–2003)
软件作者: Rajasekar,A.和Yusuf,H
相关软件: SATCHMOREBID;DCTP;I-SATCHMO…
主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)

大约2dlp

1份文件引用(2008)
软件作者: Oikarinen,E.,Janhunen,T。
相关软件: DLV公司
主要字段: 计算机科学(68-XX)

筛选结果依据…

全部的 前5名

相关软件