FEASPUMP公司 139篇文献引用(1979–2024) 软件作者: 菲舍蒂(Matteo Fischetti);多梅尼科·萨尔瓦金 相关软件: MIPLIB;CPLEX;MIPLIB2003… 主要字段: 变分法与最优控制;优化(49-XX);数值分析(65-XX);计算机科学(68-XX)…
迷你锌 130篇文献引用(2008–2024) 软件作者: 吉多·塔克(Guido Tack),NICTA/莫纳什大学(与塞巴斯蒂安·布兰德(Sebastian Brand)、马克·布朗(Mark Brown)、蒂鲍特·费迪(Thibaut Feydy)、朱利安·菲舍尔(Julien Fischer)、玛丽亚·加西亚·德拉班达(Maria Garcia de la Banda)、 相关软件: Gecode公司;CPLEX;CHUFFED… 主要字段: 组合数学(05-XX);计算机科学(68-XX);运筹学,数学规划(90-XX)…
ILOG时间表 87份文件引用(1996–2023) 软件作者: C·勒帕佩 相关软件: CPLEX;炸薯条;JOBSHOP… 主要字段: 历史与传记(01-XX);计算机科学(68-XX);运筹学,数学规划(90-XX)…
彗星 75篇文献引用(2004–2023) 软件作者: 米歇尔·洛朗;看,安德鲁;帕斯卡·范·亨特利克 相关软件: CPLEX;本地化人员;Gecode… 主要字段: 数学逻辑与基础(03-XX);组合数学(05-XX);计算机科学(68-XX)…
序言 58篇文献引用(1984–2022) 软件作者: 丹尼尔·迪亚兹 相关软件: SICStus公司;炸薯条;SWI-预测… 主要字段: 数学逻辑与基础(03-XX);统计学(62-XX);计算机科学(68-XX)…
Quaffle餐厅 64篇文献引用(2003–2023) 软件作者: L.Zhang;S.Malik;普林斯顿大学SAT研究小组;Yinlei余 相关软件: 糠;DepQBF;QUBOS… 主要字段: 数学逻辑与基础(03-XX);组合数学(05-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)…
TSPTW公司 43篇文献引用(2001–2023) 软件作者: 菲利波·福卡奇;安德烈亚·洛迪;米歇拉·米兰 相关软件: LKH;VRP;TSPLIB… 主要字段: 组合数学(05-XX);计算机科学(68-XX);量子理论(81-XX)…
OR工具 37篇文献引用(2013–2023) 软件作者: 谷歌;Perron,L.公司。;弗农,V。 相关软件: CPLEX;古罗比;迷你锌… 主要字段: 几何(51-XX);计算机科学(68-XX);运筹学,数学规划(90-XX)…
OPL公司 39篇文献引用(2000–2023) 软件作者: 范·亨特利克(Van Hentenryck),帕斯卡(Pascal);劳伦·佩伦(Laurent Perron);Jean-Francois,普吉 相关软件: CPLEX;AMPL;芯片… 主要字段: 历史与传记(01-XX);计算机科学(68-XX);运筹学,数学编程(90-XX)
帕帕普 38篇文献引用(2006–2023) 软件作者: 贝特尔斯,斯特凡;托尔斯滕·法勒 相关软件: VRP;古罗比;超启发式… 主要字段: 计算机科学(68-XX);运筹学、数学规划(90-XX);博弈论、经济学、金融和其他社会和行为科学(91-XX)
LSSPER公司 28篇文献引用(2004–2023) 软件作者: 米雷尔·帕尔潘特;Artigues,基督教;菲利普·米歇隆 相关软件: PSPLIB;分散搜索;进展… 主要字段: 计算机科学(68-XX);运筹学,数学编程(90-XX)
快速拉伸 31份文件引用(2008–2022) 软件作者: 美国容克。 相关软件: MiniSat;PicoSAT;葡萄糖… 主要字段: 数学逻辑与基础(03-XX);数值分析(65-XX);计算机科学(68-XX)…
抄送Pi 28篇文献引用(2007–2022) 软件作者: 玛丽亚·格拉齐亚·巴斯米(Maria Grazia Buscemi),乌戈·蒙塔纳里(Ugo Montanari) 相关软件: 奶牛;Isabelle/HOL;名义上的伊莎贝尔… 主要字段: 数学逻辑与基础(03-XX);范畴理论;同调代数(18-XX);计算机科学(68-XX)…
SALSA公司 30篇文献引用(2000–2017) 软件作者: 弗朗索瓦·拉伯特;伊夫·卡索 相关软件: 彗星;本地化人员;Oz… 主要字段: 组合数学(05-XX);计算机科学(68-XX);运筹学,数学编程(90-XX)
锌 28篇文献引用(2005–2022) 软件作者: Kim万豪酒店;尼赫科特,尼古拉斯;雷扎·拉斐;Peter J.Stuckey。;玛丽亚·加西亚·德拉·班达;马克·华莱士 相关软件: 本质;微量锌;Gecode… 主要字段: 数学逻辑与基础(03-XX);组合数学(05-XX);数值分析(65-XX)…
本质 27篇文献引用(2008–2023) 软件作者: 艾伦·弗里希。;沃里克·哈维;克里斯·杰斐逊(Chris Jefferson);马丁内斯·埃尔南德斯(Martínez-Hernández),伯纳黛特(Bernadette);伊恩·米格尔 相关软件: 微量锌;锌;ESRA… 主要字段: 结合环与代数(16-XX);计算机科学(68-XX);量子理论(81-XX)…
图尔巴尔2 27篇文献引用(2007–2023) 软件作者: 托马斯·希克斯;西蒙·德·吉夫里(Simon de Givry);大卫·阿洛奇 相关软件: mplp2;数字插孔;MaxHS… 主要字段: 统计学(62-XX);计算机科学(68-XX);运筹学,数学规划(90-XX)…
日本石油公司 16篇文献引用(2007–2023) 软件作者: Krzysztof Kuchcinski;Radoslaw Szymanek公司 相关软件: Gecode公司;微量锌;Choco… 主要字段: 组合数学(05-XX);计算机科学(68-XX);运筹学,数学编程(90-XX)
莫扎特 15篇文献引用(1999–2018) 软件作者: 彼得·范罗伊;塞夫·哈里迪 相关软件: 奥兹;CPLEX;芯片… 主要字段: 数学逻辑与基础(03-XX);组合数学(05-XX);计算机科学(68-XX)…
局部解算器 18篇文献引用(2010–2023) 软件作者: 蒂埃里·贝诺伊斯特(Thierry Benoist);伯特兰·埃斯特隆;弗雷德里克·加迪;罗曼·梅格尔(Romain Megel);卡里姆·努伊奥瓦 相关软件: 彗星;CPLEX;SCIP… 主要字段: 计算机科学(68-XX);运筹学、数学规划(90-XX);博弈论、经济学、金融和其他社会和行为科学(91-XX)
奥斯卡 17篇文献引用(2014年-2023年) 软件作者: OscaR团队 相关软件: Gecode公司;彗星;OR-tools… 主要字段: 统计学(62-XX);计算机科学(68-XX);运筹学,数学规划(90-XX)…
CPGraph(CPGraph) 16篇文献引用(2005–2022) 软件作者: Deville,Y.、Dooms,G.、Zampelli,S.、Dupont,P。 相关软件: 红衣主教;Gecode公司;Isabelle/HOL… 主要字段: 数学逻辑与基础(03-XX);组合数学(05-XX);计算机科学(68-XX)…
ezcsp公司 13份文件引用(2009–2022) 软件作者: 马尔切洛·巴尔杜奇尼(Marcello Balduccini);尤利亚·利勒 相关软件: 克林孔;克林戈;ASP… 主要字段: 计算机科学(68-XX);运筹学、数学规划(90-XX);生物学和其他自然科学(92-XX)
木槿 12份文件引用(2005–2021) 软件作者: Bourdais,S.、Galinier,P.、Pesant,G。 相关软件: CPLEX;古罗比;超启发式… 主要字段: 计算机科学(68-XX);运筹学,数学编程(90-XX)
ESRA公司 11份文件引用(2004–2022) 软件作者: 皮埃尔·弗莱纳(Pierre Flener);贾斯汀·皮尔逊(Justin Pearson);奥格伦,马格纳斯 相关软件: 本质;锌;NP-SPEC… 主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)
SIMPL公司 12份文件引用(2004–2022) 软件作者: 伊奥努·阿隆;约翰·胡克(John N.Hooker)。;Yunes,Tallys H。 相关软件: SCIP;SCIL;MIPLIB… 主要字段: 总体主题;藏品(00-XX);概率论与随机过程(60-XX);计算机科学(68-XX)…
洛伊 9份文件引用(2002–2021) 软件作者: J.Siekmann、S.Hess、C.Benzmüller、L.Cheikhrouhou、A.Fiedler、H.Horacek、M.Kohlhase、K.Konrad、A.Meier、E.Melis、M.Pollet、V.Sorge 相关软件: TPTP;Coq;PVS… 主要字段: 数学逻辑与基础(03-XX);交换代数(13-XX);计算机科学(68-XX)
SCIL公司 10篇文献引用(2002–2022) 软件作者: 恩斯特·奥尔特豪斯(Ernst Althaus);亚历山大·博克迈尔(Alexander Bockmayr);精灵,马提亚斯;迈克尔·Jünger;托马斯·卡斯珀(Thomas Kasper);库尔特·梅尔霍恩 相关软件: SCIP;MIPLIB;SIMPL… 主要字段: 组合数学(05-XX);计算机科学(68-XX);运筹学,数学规划(90-XX)…
PSICO公司 9份文件引用(2002–2017) 软件作者: 路德维希·克里帕尔;佩德罗·巴拉奥纳 相关软件: 椰子;全球实验室;BARON… 主要字段: 数值分析(65-XX);计算机科学(68-XX);运筹学,数学规划(90-XX)…
扁平锌 9份文件引用(2010–2020) 软件作者: Guido Tack、Sebastian Brand、Mark Brown、Thibaut Feydy、Julien Fischer、Maria Garcia de la Banda、Peter Stuckey、Mark Wallace 相关软件: 微量锌;Gecode公司;SCIP… 主要字段: 计算机科学(68-XX);运筹学,数学编程(90-XX)
MCS公司 9份文件引用(1997–2017) 软件作者: Le Huédé,F。;格拉比施,M。;拉布雷切,C。;萨文特,P。 相关软件: FIRBS;超启发式;M-MACBETH… 主要字段: 测量和集成(28-XX);统计学(62-XX);运筹学,数学规划(90-XX)…
数字插孔 7份文件引用(2013–2018) 软件作者: 巴里·奥沙利文;Eoin O'Mahony;伊曼纽尔·希伯拉德 相关软件: 微量锌;ToulBar2;桑尼… 主要字段: 计算机科学(68-XX);运筹学,数学编程(90-XX)
ConArg2公司 引用于8份文件(2014年至2022年) 软件作者: 比斯塔雷利,S。;罗西,F。;F.桑蒂尼。 相关软件: AFRA;MiniSat;邓金… 主要字段: 数学逻辑与基础(03-XX);组合数学(05-XX);计算机科学(68-XX)
DiSCiPl公司 7份文件引用(2007–2016) 软件作者: —— 相关软件: 彗星;Oz Explorer;VIFID/TRIFID… 主要字段: 计算机科学(68-XX);运筹学,数学编程(90-XX)
JSetL公司 4份文件引用(2009–2021) 软件作者: 安德烈亚·福斯(Andrea Fois)、吉安弗兰科·罗西(Gianfranco Rossi)、伊丽莎白·波罗(Elisabetta Poleo)等 相关软件: Z;刚毛;ProB… 主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)
sunny-cp公司 引用于8份文件(2015–2023) 软件作者: 罗伯特·阿马迪尼、毛里齐奥·加布里埃利、雅各布·毛罗 相关软件: 萨齐拉;微量锌;桑尼… 主要字段: 计算机科学(68-XX);运筹学,数学编程(90-XX)
累积mm 7份文件引用(2016–2022) 软件作者: 亚历山大·施内尔(Alexander Schnell);理查德·哈特尔(Richard F.Hartl)。 相关软件: gpremeencemm;PSPLIB;npuScheduler… 主要字段: 总体主题;藏品(00-XX);运筹学、数学规划(90-XX);博弈论、经济学、金融和其他社会和行为科学(91-XX)
gpremeencemm公司 7份文件引用(2016–2022) 软件作者: 亚历山大·施内尔(Alexander Schnell);理查德·哈特尔(Richard F.Hartl)。 相关软件: 累积mm;PSPLIB;npuScheduler… 主要字段: 总体主题;藏品(00-XX);运筹学、数学规划(90-XX);博弈论、经济学、金融和其他社会和行为科学(91-XX)
贾纳斯 5份文件引用(1994–2018) 软件作者: 萨拉斯瓦特,V.A。;Kahn,K。;J.利维。 相关软件: GHC;LMN塔尔;琳达… 主要字段: 计算机科学(68-XX);运筹学,数学编程(90-XX)
BACP公司 4份文件引用(2005–2014) 软件作者: 托尼·兰伯特(Tony Lambert);卡洛斯·卡斯特罗;埃里克·蒙弗罗伊(Eric Monfroy);里夫,玛丽亚·克里斯蒂娜;沙特,弗雷德里克 相关软件: CSPLib;EasyLocal公司++ 主要字段: 计算机科学(68-XX);运筹学,数学编程(90-XX)
CoQuiAAS公司 6篇文献引用(2017–2021) 软件作者: Lagniez,J.M。;Lonca,E。;J.G.梅利。 相关软件: MiniSat;葡萄糖;钻石… 主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)
CPBPV公司 4份文件引用(2010–2023) 软件作者: 赫莱内·科拉维扎;米歇尔·鲁赫(Michel Rueher);帕斯卡·范·亨特利克 相关软件: TCAS;CBMC;VIPR… 主要字段: 计算机科学(68-XX)
牛顿 5份文件引用(1997–2013) 软件作者: 范·亨特利克(Van Hentenryck),帕斯卡(Pascal);米歇尔·洛朗;F.本哈莫。 相关软件: 太阳神;PASCAL-XSC;COMET… 主要字段: 数值分析(65-XX);计算机科学(68-XX);运筹学,数学编程(90-XX)
URSA公司 6篇文献引用(2012–2022) 软件作者: 贾尼奇,P。 相关软件: z3;卡环;迷你卫星… 主要字段: 几何(51-XX);计算机科学(68-XX);运筹学,数学规划(90-XX)…
完全不同 4份文件引用(2011–2022) 软件作者: Christian Bessiere、Nina Narodytska、Claude Guy Quimper、Toby Walsh 相关软件: 乔科;算法457;ptsplib… 主要字段: 计算机科学(68-XX);运筹学,数学编程(90-XX)
微型CP 5份文件引用(2021–2023) 软件作者: 米歇尔,L。;Schaus,P。;Van Hentenryck,P。 相关软件: 奥斯卡;乔科;芯片… 主要字段: 计算机科学(68-XX);运筹学,数学编程(90-XX)
Oz探险家 4份文件引用(2009–2018) 软件作者: C.舒尔特。 相关软件: 奥兹;炸薯条;DiSCiPl… 主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX);运筹学,数学编程(90-XX)
壁龛 4份文件引用(2018–2021) 软件作者: 卡洛斯·奥拉特;伊莱恩·皮门特尔(Elaine Pimentel);卡米洛·鲁埃达 相关软件: 奎珀;混合的;Coq… 主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)
最大值 3份文件引用(2014–2021) 软件作者: Fages,Jean Guillaume;Tanguy Lapègue 相关软件: ToulBar2;AllDifferent;Choco… 主要字段: 计算机科学(68-XX);运筹学,数学编程(90-XX)
法西乐 3份文件引用(2005–2009) 软件作者: 巴尼尔,N.,布里塞特,P。 相关软件: 乔科;ProB;Gecode… 主要字段: 组合数学(05-XX);计算机科学(68-XX);运筹学,数学编程(90-XX)
fzn2毫米 4份文件引用(2012–2017) 软件作者: 博菲尔(Bofill,M.)、帕拉西(Palahí)、苏伊(Suy,J.)、维拉雷特(Villaret,M。 相关软件: 微量锌;Gecode公司;SCIP… 主要字段: 计算机科学(68-XX);运筹学,数学编程(90-XX)
采矿锌 4份文件引用(2017–2019) 软件作者: 枪支,蒂亚斯;安东·德里斯(Anton Dries);齐格弗里德·尼杰森;塔克,吉多;吕克·德·雷德 相关软件: Gecode公司;本质;迷你锌… 主要字段: 计算机科学(68-XX);运筹学,数学编程(90-XX)
SeaPearl公司 4份文件引用(2021–2023) 软件作者: 费利克斯Chalumeau;伊兰·库隆;瓶盖,昆廷;卢梭,路易斯·马汀 相关软件: NeuroSAT;AlphaGo;亚当… 主要字段: 计算机科学(68-XX);运筹学,数学编程(90-XX)
工具 4份文件引用(2005–2006) 软件作者: de Givry S.、Jeannin L。 相关软件: OPL;SALSA;建模器… 主要字段: 计算机科学(68-XX);运筹学,数学编程(90-XX)
阿尔罗斯 3份文件引用(2017–2022) 软件作者: 穆斯塔法,Mısır;米歇尔·塞巴格 相关软件: 帕拉米尔斯;萨齐拉;GNU并行… 主要字段: 计算机科学(68-XX);运筹学,数学编程(90-XX)
格拉斯哥子图解算器 3份文件引用(2020–2023) 软件作者: Ciaran McCreesh;Patrick Prosser;詹姆斯·特里姆布尔 相关软件: 地下;沙丁鱼;工艺… 主要字段: 组合数学(05-XX);计算机科学(68-XX);运筹学,数学规划(90-XX)…
倍频程间隔 3份文件引用(2018–2023) 软件作者: 奥利弗·海姆利希 相关软件: 国际实验室;摩尔;ValidatedNumerics.jl… 主要字段: 线性代数和多线性代数;矩阵理论(15-XX);数值分析(65-XX);计算机科学(68-XX)
PortLib(端口库) 3份文件引用(2020–2023) 软件作者: 萨克拉门托,大卫;克莉丝汀·索尔农;大卫·皮辛格 相关软件: ILOG时间表;赛马拉松 主要字段: 运筹学,数学编程(90-XX)
圣甲虫 引用于2份文件(2014) 软件作者: Soh、Takehide;田村直之;穆苏诺里·班巴拉 相关软件: 周六4j;GRAPPA;Lynx… 主要字段: 组合数学(05-XX);计算机科学(68-XX)
汤姆西姆 3份文件引用(1999–2018) 软件作者: Tomlab Optimization公司。;佩·鲁特奎斯特(Per Rutquist);马库斯·埃德瓦尔 相关软件: PROPT;TOMLAB公司;SOCS… 主要字段: 数值分析(65-XX);粒子和系统力学(70-XX);运筹学,数学规划(90-XX)…
更大的 引用于2份文件(2005–2008) 软件作者: 路德维希·克里帕尔;佩德罗·巴拉霍纳 相关软件: PSICO;奇美拉;生物炭… 主要字段: 计算机科学(68-XX);运筹学、数学规划(90-XX);生物学和其他自然科学(92-XX)
Codac公司 引用于2份文件(2021–2022) 软件作者: 西蒙·罗霍(Simon Rohou);德罗切斯,贝诺特 相关软件: 戴恩拜克斯;痤疮;JuliaReach… 主要字段: 系统论;控制(93-XX)
菲加罗 引用于2份文件(1999–2001) 软件作者: 马丁·亨茨(Martin Henz);缪勒,托拜厄斯;布恩,Ng Ka 相关软件: 奥兹;炸薯条;STL… 主要字段: 计算机科学(68-XX)
Tubex公司 1份文件引用(2021) 软件作者: S.Rohou等人。 相关软件: pyIbex;github;间隔算术.jl… 主要字段: 变分法与最优控制;优化(49-XX);计算机科学(68-XX);系统论;控制(93-XX)
VeriFly公司 引用于2份文件(2021–2022) 软件作者: 桑切斯·奥尔达兹,米格尔·A。;伊莎贝尔·加西亚·孔特雷拉斯(Isabel Garcia-Contreras);维克托·佩雷斯(Victor Perez);JoséF.Morales。;佩德罗·洛佩兹·加西亚;曼努埃尔五世(Manuel V.Hermenegildo)。 相关软件: 汞;CiaoPP;再见… 主要字段: 计算机科学(68-XX)
AmPharoS公司 在0个文档中引用 软件作者: Gilles Audemard;Jean-Marie Lagniez;尼古拉斯·斯泽潘斯基(Nicolas Szczepanski);塞巴斯蒂安·塔巴里 相关软件: 斯普拉茨;MapleAmpharos公司;糖浆… 主要字段: 计算机科学(68-XX)
多CAD 1份文件引用(2002) 软件作者: 瓦西拉斯,尼古拉斯;乔治·米奥利斯(George Miaoulis);克鲁诺普洛斯(Chronopoulos)、狄奥尼西奥斯(Dionysios);Elias Konstantinidis;伊奥安娜·拉瓦尼;迪米特里奥斯·马克里斯(Dimitrios Makris);迪米特里·普莱梅诺斯 相关软件: —— 主要字段: 计算机科学(68-XX)
NeMo公司+ 1份文件引用(2017) 软件作者: Shvetsov,I.、Telerman,V.、Ushakov,D。 相关软件: InC++;JGloptLab;进入PT_90… 主要字段: 数值分析(65-XX)
ZDC公司 1份文件引用(2007) 软件作者: 曾荫权;约翰·福特;帕特里克·米尔斯(Patrick Mills);理查德·布拉德威尔(Richard Bradwell);理查德·威廉姆斯;保罗·斯科特 相关软件: DiSCiPl;木槿;Excel… 主要字段: 运筹学,数学编程(90-XX)
RNAi折叠2T 在0个文档中引用 软件作者: 胡安·安东尼奥·加西亚-马汀(Juan Antonio Garcia-Martin)、伊万·多图(Ivan Dotu)、哈维尔·费尔南德斯·卡莫罗(Javier Fernandez-Chamorro)、格洛丽亚·洛扎诺(Gloria Lozano)、豪尔赫·拉马乔(Jorge Ramajo)、恩卡纳西奥·马丁内斯·萨拉斯 相关软件: —— 主要字段: ——