×

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

ILOG时间表

88篇文献引用(1996–2023)
软件作者: 勒帕佩,C
相关软件: CPLEX;炸薯条;JOBSHOP…
主要字段: 一般代数系统(08-XX);范畴理论;同调代数(18-XX);计算机科学(68-XX)…

乔科

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

BL数据集

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

所有不同的

4份文件引用(2011–2022)
软件作者: 克里斯蒂安·贝西尔(Christian Bessiere)、尼娜·纳罗季斯卡(Nina Narodytska)、克劳德·盖·坎佩尔(Claude-Guy Quimper)、托比·沃尔什(Toby Walsh)
相关软件: 乔科;算法457;ptsplib…
主要字段: 计算机科学(68-XX);运筹学、数学规划(90-XX)

TCAS公司

2份文件引用(2012–2017)
软件作者: A.哥特利布。
相关软件: z3;SMT-LIB;MiniSat…
主要字段: 计算机科学(68-XX);运筹学、数学规划(90-XX)

袋鼠

2份文件引用(2015–2017)
软件作者: M.A.Hakim Newton、Duc Nghia Pham、Abdul Sattar、Michael Maher
相关软件: Gelisp;搭扣;扁平锌…
主要字段: 运筹学、数学规划(90-XX)

筛选结果依据…