卡尔马 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)
沙漠FD 在0个文档中引用 软件作者: Eames,Brandon K。;妮玛(Neema)、桑迪普·K·。;罗希特·萨拉斯瓦特 相关软件: 禁忌搜索;SICStus公司;FaMa… 主要字段: 计算机科学(68-XX)
Gelisp公司 1份文件引用(2017) 软件作者: 毛里西奥·托罗、卡米洛·鲁埃达、卡洛斯·阿贡、热拉尔·阿萨亚格 相关软件: 自旋蛋白;ntccSim;Ntccrt… 主要字段: 运筹学、数学规划(90-XX)
ADMIT公司 1份文件引用(2012) 软件作者: S.Streif、A.Savchenko、P.Rumschinski、S.Borchers、R.Findeisen。 相关软件: YALMIP;CPLEX公司 主要字段: 运筹学、数学规划(90-XX);生物学和其他自然科学(92-XX);系统论;控制(93-XX)
ManiSolve(操纵求解) 1份文件引用(2019) 软件作者: 阿里·巴哈列夫;阿诺德·诺伊梅尔;赫尔曼·施奇尔 相关软件: Dymola;github;t-SNE… 主要字段: 数值分析(65-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)