×

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

标题栏2

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

鸦片

3份文件引用(2010–2013)
软件作者: Tucker,C.、Shuffelton,D.、Jhala,R.、Lerner,S
相关软件: PBS;MiniMaxSat;周六…
主要字段: 计算机科学(68-XX);运筹学、数学规划(90-XX)

npSolver(npSolver)

1份文件引用(2015)
软件作者: Manthey,N.,Steinke,P。
相关软件: MiniSat;BoolVar/PB;PBLib…
主要字段: 计算机科学(68-XX)

筛选结果依据…

全部的 前3名

主字段