×

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

卡尔马

109篇文献引用(1999–2024)
软件作者: 卡伦·阿达尔;科尔·赫肯斯;Lenstra,Jan Karel;谢尔盖·蒂乌林
相关软件: CPLEX;禁忌搜索;DIMACS…
主要字段: 组合数学(05-XX);常微分方程(34-XX);计算机科学(68-XX)…

乔科

62篇文献引用(2001–2022)
软件作者: Choco团队:http://www.emn.fr/z-info/choco-solver/index.php?page=团队
相关软件: Gecode公司;CPLEX;克莱尔…
主要字段: 组合数学(05-XX);计算机科学(68-XX);运筹学,数学规划(90-XX)…

RealPaver公司

51篇文献引用(2003–2017)
软件作者: 劳伦特·格兰维尔(Laurent Granvilliers)
相关软件: 数字;进入PT_90;监狱…
主要字段: 数学逻辑与基础(03-XX);数值分析(65-XX);计算机科学(68-XX)…

Numerica公司

48篇文献引用(1998–2023)
软件作者: van Hentenryck,P.,Deville,Y.,Michel,L。
相关软件: 进入PT_90;RealPaver;BARON…
主要字段: 常微分方程(34-XX);数值分析(65-XX);计算机科学(68-XX)…

向外旋转

45篇文献引用(1999年至2021年)
软件作者: 美国兹威克。
相关软件: 环形切口;塞杜米;SDPT3…
主要字段: 组合数学(05-XX);变分法与最优控制;优化(49-XX);数值分析(65-XX)…

帕帕普

38篇文献引用(2006–2023)
软件作者: 贝特尔斯,斯特凡;托尔斯滕·法勒
相关软件: VRP;古罗比;超启发式…
主要字段: 计算机科学(68-XX);运筹学、数学规划(90-XX);博弈论、经济学、金融和其他社会和行为科学(91-XX)

31份文件引用(2006–2023)
软件作者: 田村直之(Naoyuki Tamura)
相关软件: MiniSat;微量锌;Gecode…
主要字段: 数学逻辑与基础(03-XX);组合数学(05-XX);统计学(62-XX)…

人力资源

27篇文献引用(2002–2022)
软件作者: 西蒙·科尔顿
相关软件: 涂鸦;水獭;梅斯4…
主要字段: 总体主题;藏品(00-XX);数学逻辑与基础(03-XX);组合数学(05-XX)…

马拉布

26篇文献引用(2021–2024)
软件作者: Katz,G.,Huang,D.A.,Ibeling,D.,Julian,K.,Lazarus,C.,Lim,R.,Shah,P.,Thakoor,S.,Wu,H.,Zelji-C,A.,Dill,D.L.,Kochenderfer,M.J.,Barrett,C。
相关软件: Reluplex;NNV;AI2…
主要字段: 概率论与随机过程(60-XX);统计学(62-XX);计算机科学(68-XX)…

BL数据集

27篇文献引用(2000年-2023年)
软件作者: 菲利普·巴蒂斯特(Philippe Baptiste)、克洛德·勒·佩普(Claude Le Pape)
相关软件: PSPLIB;炸薯条;克莱尔…
主要字段: 计算机科学(68-XX);运筹学、数学规划(90-XX)

CP计划

26篇文献引用(2000–2011)
软件作者: 彼得·范·比克
相关软件: 图形平面图;步行卫星;PDDL…
主要字段: 群论和概括(20-XX);计算机科学(68-XX);运筹学,数学规划(90-XX)…

图尔巴尔2

27篇文献引用(2007–2023)
软件作者: 托马斯·希克斯;西蒙·德·吉夫里(Simon de Givry);大卫·阿洛奇
相关软件: mplp2;数字插孔;MaxHS…
主要字段: 统计学(62-XX);计算机科学(68-XX);运筹学,数学规划(90-XX)…

全球实验室

15篇文献引用(2008–2017)
软件作者: 穹顶,费伦茨
相关软件: BARON公司;椰子;LINDO…
主要字段: 历史与传记(01-XX);数值分析(65-XX);计算机科学(68-XX)…

太阳神

10篇文献引用(1997–2015)
软件作者: 劳伦特·米歇尔(Laurent Michel)、帕斯卡·范·亨特利克(Pascal Van Hentenryck)
相关软件: AMPL;牛顿;FleetWave…
主要字段: 数值分析(65-XX);计算机科学(68-XX);流体力学(76-XX)…

链卫星

8份文件引用(2010年至2020年)
软件作者: M.Alava、J.Ardelius、E.Aurell、P.Kaski、S.Krishnamurthy、P.Orponen、S.Seitz
相关软件: 步行卫星;ManySAT;TTTPLOTS…
主要字段: 组合数学(05-XX);概率论与随机过程(60-XX);计算机科学(68-XX)…

RealPlan(实际计划)

引用于9份文件(2001年至2008年)
软件作者: 斯利瓦斯塔瓦,比普拉夫;Subbarao Kombhampati;做,明B。
相关软件: 图形平面图;STAN;CPlan…
主要字段: 计算机科学(68-XX);运筹学、数学规划(90-XX)

超级工作台

8份文件引用(2020–2023)
软件作者: 沃尔夫冈·费希尔、乔治·戈特洛布、戴维德·隆戈、莱因哈德·皮克勒
相关软件: 学习;MiniCon;空标题…
主要字段: 组合数学(05-XX);计算机科学(68-XX);运筹学、数学规划(90-XX)

sunny-cp公司

8份文件引用(2015–2023)
软件作者: 罗伯特·阿马迪尼、毛里齐奥·加布里埃利、雅各布·毛罗
相关软件: 萨齐拉;微量锌;桑尼…
主要字段: 计算机科学(68-XX);运筹学、数学规划(90-XX)

meSAT公司

引用于7份文件(2014年-2023年)
软件作者: 米尔科·斯托贾迪诺维奇;菲利普·马里奇
相关软件: 微量锌;糖;Yices…
主要字段: 几何(51-XX);数值分析(65-XX);计算机科学(68-XX)…

MGTP公司

6篇文献引用(1995–2013)
软件作者: 长谷川龙子;藤田,广岛;宫崎骏小村;Shirai、Yasuyuki
相关软件: 萨奇莫;TPTP;MiniSat…
主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)

齐塔卫星

4份文件引用(2006–2015)
软件作者: Blochinger,W.、Westje,W.,Kuchlin,W.和Wedeniwski,S。
相关软件: 网格卫星;糠;MiniSat…
主要字段: 计算机科学(68-XX);运筹学、数学规划(90-XX)

BACP公司

4份文件引用(2005–2014)
软件作者: 托尼·兰伯特(Tony Lambert);卡洛斯·卡斯特罗;埃里克·蒙弗罗伊(Eric Monfroy);里夫,玛丽亚·克里斯蒂娜;沙特,弗雷德里克
相关软件: CSPLib;EasyLocal公司++
主要字段: 计算机科学(68-XX);运筹学、数学规划(90-XX)

产量

5份文件引用(2007–2021)
软件作者: 瓦法卡鲁伊;Marie-JoséHuguet;皮埃尔·洛佩兹(Pierre Lopez);Wady Naanaa
相关软件: 自由裁量权;帝国;CPLEX…
主要字段: 组合数学(05-XX);统计学(62-XX);计算机科学(68-XX)…

MLIC公司

4份文件引用(2021–2023)
软件作者: 德米特里·马利奥托夫(Dmitry Malioutov)、库尔迪普·S·梅尔(Kuldeep S.Meel)
相关软件: IMLI;UCI-ml;PySAT…
主要字段: 统计学(62-XX);计算机科学(68-XX)

InC公司++

3份文件引用(2002–2017)
软件作者: Hyvönen,E.,De Pascale,S。
相关软件: 进入PT_90;JGloptLab;UniCalc…
主要字段: 数值分析(65-XX);计算机科学(68-XX)

cpsolver(cpsolver)

1份文件引用(2009)
软件作者: 穆勒,T。
相关软件: ——
主要字段: 运筹学、数学规划(90-XX)

沙漠FD

在0个文档中引用
软件作者: Eames,Brandon K。;妮玛(Neema)、桑迪普·K·。;罗希特·萨拉斯瓦特
相关软件: 禁忌搜索;SICStus公司;FaMa…
主要字段: 计算机科学(68-XX)

龙息(DragonBreath)

2份文件引用(2004–2005)
软件作者: A.纳雷耶克。
相关软件: 彗星;本地化人员;CPLEX…
主要字段: 计算机科学(68-XX)

Gelisp公司

1份文件引用(2017)
软件作者: 毛里西奥·托罗、卡米洛·鲁埃达、卡洛斯·阿贡、热拉尔·阿萨亚格
相关软件: 自旋蛋白;ntccSim;Ntccrt…
主要字段: 运筹学、数学规划(90-XX)

INCO公司

1份文件引用(2012)
软件作者: 伯特兰·奈韦;Gilles Trombettoni
相关软件: EasyLocal公司++
主要字段: 运筹学、数学规划(90-XX)

螺母

2份文件引用(1991–1994)
软件作者: Tyugu E.、Matskin M.、Penjam J.、Eomois P。
相关软件: PRIZ公司
主要字段: 计算机科学(68-XX)

ADMIT公司

1份文件引用(2012)
软件作者: S.Streif、A.Savchenko、P.Rumschinski、S.Borchers、R.Findeisen。
相关软件: YALMIP;CPLEX公司
主要字段: 运筹学、数学规划(90-XX);生物学和其他自然科学(92-XX);系统论;控制(93-XX)

DOC-放松

1份文件引用(2018)
软件作者: 北萨西。;萨拉赫,K.B。;盖迪拉,K。
相关软件: 彗星;萨齐拉;阳光下…
主要字段: 计算机科学(68-XX)

J.CP公司

1份文件引用(2002)
软件作者: 乔治·林格威尔斯基
相关软件: ——
主要字段: 计算机科学(68-XX)

ManiSolve(操纵求解)

1份文件引用(2019)
软件作者: 阿里·巴哈列夫;阿诺德·诺伊梅尔;赫尔曼·施奇尔
相关软件: Dymola;github;t-SNE…
主要字段: 数值分析(65-XX)

MLBSE公司

在0个文档中引用
软件作者: 卜、雷;梁永娟;谢准义;钱洪;胡一齐;于,杨;陈欣;李宣东
相关软件: JaCoCo公司;jCUTE公司;XSat…
主要字段: 计算机科学(68-XX)

RCDC公司

1份文件引用(2013)
软件作者: Navarrete,I.、Morales,A.、Sciavicco,G.、Cardenas,M。
相关软件: XPath(XPath)
主要字段: 计算机科学(68-XX)

ZDC公司

1份文件引用(2007)
软件作者: 曾荫权;约翰·福特;帕特里克·米尔斯(Patrick Mills);理查德·布拉德威尔(Richard Bradwell);理查德·威廉姆斯;保罗·斯科特
相关软件: DiSCiPl;木槿;Excel…
主要字段: 运筹学、数学规划(90-XX)

Koalog约束解算器

在0个文档中引用
软件作者: Koalog有限责任公司
相关软件: ——
主要字段: ——

筛选结果依据…

全部的 前5名

相关软件