CALMA公司 109篇文献引用(1999–2024) 软件作者: 卡伦·阿达尔;科尔·赫肯斯;Lenstra,Jan Karel;谢尔盖·蒂乌林 相关软件: CPLEX;禁忌搜索;DIMACS… 主要字段: 组合数学(05-XX);常微分方程(34-XX);计算机科学(68-XX)…
RealPaver公司 51篇文献引用(2003–2017) 软件作者: 劳伦特·格兰维尔(Laurent Granvilliers) 相关软件: 数字;进入PT_90;监狱… 主要字段: 数学逻辑与基础(03-XX);数值分析(65-XX);计算机科学(68-XX)…
向外旋转 45篇文献引用(1999–2021) 软件作者: 美国兹威克。 相关软件: 环形切口;塞杜米;SDPT3… 主要字段: 组合数学(05-XX);变分法与最优控制;优化(49-XX);数值分析(65-XX)…
PARPAP公司 引用于38份文件(2006–2023) 软件作者: 斯特凡·贝特尔斯;托尔斯滕·法勒 相关软件: VRP;古罗比;超启发式… 主要字段: 计算机科学(68-XX);运筹学、数学规划(90-XX);博弈论、经济学、金融和其他社会和行为科学(91-XX)
糖 引用于31份文件(2006–2023) 软件作者: 田村直之(Naoyuki Tamura) 相关软件: MiniSat;微量锌;Gecode… 主要字段: 数学逻辑与基础(03-XX);组合数学(05-XX);统计学(62-XX)…
BL数据集 27篇文献引用(2000–2023) 软件作者: 菲利普·巴蒂斯特(Philippe Baptiste)、克洛德·勒·佩普(Claude Le Pape) 相关软件: PSPLIB;炸薯条;克莱尔… 主要字段: 计算机科学(68-XX);运筹学、数学规划(90-XX)
图尔巴尔2 27篇文献引用(2007–2023) 软件作者: 托马斯·希克斯;西蒙·德·吉夫里(Simon de Givry);大卫·阿洛奇 相关软件: mplp2;数字插孔;MaxHS… 主要字段: 统计学(62-XX);计算机科学(68-XX);运筹学,数学编程(90-XX)…
ezcsp公司 13份文件引用(2009–2022) 软件作者: 马尔切洛·巴尔杜奇尼(Marcello Balduccini);尤利亚·利勒 相关软件: 克林孔;克林戈;ASP… 主要字段: 计算机科学(68-XX);运筹学、数学规划(90-XX);生物学和其他自然科学(92-XX)
阳光 13份文件引用(2014–2023) 软件作者: 罗伯托·阿马迪尼;毛里齐奥·加布里埃利;雅各布·毛罗 相关软件: 萨齐拉;微量锌;变形杆菌… 主要字段: 几何(51-XX);计算机科学(68-XX);运筹学、数学规划(90-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)
FALCON公司 8份文件引用(1996–2022) 软件作者: 张,J。 相关软件: 梅斯4;MiniSat;ModGen… 主要字段: 数学逻辑与基础(03-XX);一般代数系统(08-XX);计算机科学(68-XX)
sunny-cp公司 8份文件引用(2015–2023) 软件作者: 罗伯特·阿马迪尼、毛里齐奥·加布里埃利、雅各布·毛罗 相关软件: 萨齐拉;微量锌;桑尼… 主要字段: 计算机科学(68-XX);运筹学、数学规划(90-XX)
meSAT公司 7份文件引用(2014–2023) 软件作者: 米尔科·斯托贾迪诺维奇;菲利普·马里奇 相关软件: 微量锌;糖;Yices… 主要字段: 几何(51-XX);数值分析(65-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)
ESY公司 2份文件引用(2014–2016) 软件作者: Papamichail,K.N.,法语,S。 相关软件: WINPRE;WINGDSS;视觉UTA… 主要字段: 总体主题;藏品(00-XX);运筹学、数学规划(90-XX)
产量 5份文件引用(2007–2021) 软件作者: 瓦法卡鲁伊;Marie-JoséHuguet;皮埃尔·洛佩兹(Pierre Lopez);Wady Naanaa 相关软件: 自由裁量权;帝国;CPLEX… 主要字段: 组合数学(05-XX);统计学(62-XX);计算机科学(68-XX)…
MLIC公司 4份文件引用(2021–2023) 软件作者: 德米特里·马柳托夫,库尔迪普·S·梅尔 相关软件: IMLI;UCI-ml;PySAT… 主要字段: 统计学(62-XX);计算机科学(68-XX)
阿尔罗斯 3份文件引用(2017–2022) 软件作者: 穆斯塔法,Mısır;米歇尔·塞巴格 相关软件: 帕拉米尔斯;萨齐拉;GNU并行… 主要字段: 计算机科学(68-XX);运筹学、数学规划(90-XX)
沙漠FD 在0个文档中引用 软件作者: 伊姆斯,布兰登·K。;妮玛(Neema)、桑迪普·K·。;罗希特·萨拉斯瓦特 相关软件: 禁忌搜索;SICStus公司;FaMa… 主要字段: 计算机科学(68-XX)
Gelisp公司 1份文件引用(2017) 软件作者: 毛里西奥·托罗、卡米洛·鲁埃达、卡洛斯·阿贡、杰拉德·阿萨亚格 相关软件: 自旋蛋白;ntccSim;Ntccrt… 主要字段: 运筹学、数学规划(90-XX)
ManiSolve(操纵求解) 1份文件引用(2019) 软件作者: 阿里·巴哈列夫;阿诺德·诺伊梅尔;赫尔曼·施奇尔 相关软件: Dymola;github;t-SNE… 主要字段: 数值分析(65-XX)
急板地 1份文件引用(2022) 软件作者: 塞纳帕蒂,德布拉塔;阿纳布·萨卡尔(Arnab Sarkar);钱丹·卡法 相关软件: iFogSim;CPLEX公司 主要字段: 计算机科学(68-XX)
RCDC公司 1份文件引用(2013) 软件作者: Navarrete,I.、Morales,A.、Sciavicco,G.、Cardenas,M。 相关软件: XPath(XPath) 主要字段: 计算机科学(68-XX)
ZDC公司 1份文件引用(2007) 软件作者: Edward Tsang;约翰·福特;帕特里克·米尔斯(Patrick Mills);理查德·布拉德威尔(Richard Bradwell);理查德·威廉姆斯;保罗·斯科特 相关软件: DiSCiPl;木槿;Excel… 主要字段: 运筹学、数学规划(90-XX)