×

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

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)…

MiniMaxSat卫星

39篇文献引用(2008–2023)
软件作者: 费德里科·赫拉斯;哈维尔·拉罗萨;阿尔伯特·奥利弗拉斯
相关软件: 周六4j;最大HS;QMaxSAT…
主要字段: 数学逻辑与基础(03-XX);数值分析(65-XX);计算机科学(68-XX)…

PARPAP公司

引用于33份文件(2006–2022)
软件作者: 贝特尔斯,斯特凡;托尔斯滕·法勒
相关软件: VRP;古罗比;超启发式…
主要字段: 计算机科学(68-XX);运筹学、数学规划(90-XX);博弈论、经济学、金融和其他社会和行为科学(91-XX)

人力资源

27篇文献引用(2002–2022)
软件作者: 西蒙·科尔顿
相关软件: 涂鸦;水獭;梅斯4…
主要字段: 总体主题;藏品(00-XX);数学逻辑与基础(03-XX);组合数学(05-XX)…

ECDAR公司

引用于9份文件(2011–2022)
软件作者: 亚历山大·戴维;金·拉森。G。;Legay,Axel;乌尔里克·奈曼;安德烈·索夫斯基
相关软件: Uppaal;MIO工作台;UPPAAL TIGA…
主要字段: 计算机科学(68-XX);博弈论、经济学、金融和其他社会和行为科学(91-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)

HMC公司

7份文件引用(2014–2021)
软件作者: Jhala,R.、Majumdar,R.和Rybalchenko,A。
相关软件: z3;垫片;SeaHorn…
主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)

PAMUC公司

8份文件引用(2003–2012)
软件作者: Filomeno Coelho,R。;Bouillard博士。;H.贝西尼。
相关软件: SPEA2;达科塔;FEAP…
主要字段: 数值分析(65-XX);可变形固体力学(74-XX);运筹学,数学编程(90-XX)…

meSAT公司

6篇文献引用(2014–2022)
软件作者: 米尔科·斯托贾迪诺维奇;菲利普·马里奇
相关软件: 微量锌;糖;Yices…
主要字段: 几何(51-XX);数值分析(65-XX);计算机科学(68-XX)…

BACP公司

4份文件引用(2005–2014)
软件作者: 托尼·兰伯特(Tony Lambert);卡洛斯·卡斯特罗;埃里克·蒙弗罗伊(Eric Monfroy);里夫,玛丽亚·克里斯蒂娜;沙特,弗雷德里克
相关软件: CSPLib;EasyLocal公司++
主要字段: 计算机科学(68-XX);运筹学、数学规划(90-XX)

ESY公司

2份文件引用(2014–2016)
软件作者: Papamichail,K.N.,法语,S。
相关软件: 冬季;WINGDSS;视觉UTA…
主要字段: 总体主题;藏品(00-XX);运筹学、数学规划(90-XX)

基马

3份文件引用(2002–2010)
软件作者: Ajiro Yasuhiro,上田和树
相关软件: GHC;巴贝尔;埃兰…
主要字段: 计算机科学(68-XX)

沙漠FD

在0个文档中引用
软件作者: Eames,Brandon K。;妮玛、桑迪普·K·。;罗希特·萨拉斯瓦特
相关软件: 禁忌搜索;SICStus公司;FaMa…
主要字段: 计算机科学(68-XX)

龙息(DragonBreath)

2份文件引用(2004–2005)
软件作者: 纳雷耶克,A。
相关软件: 彗星;本地化人员;CPLEX…
主要字段: 计算机科学(68-XX)

螺母

2份文件引用(1991–1994)
软件作者: Tyugu E.、Matskin M.、Penjam J.、Eomois P。
相关软件: PRIZ公司
主要字段: 计算机科学(68-XX)

DOC-放松

1份文件引用(2018)
软件作者: 北萨西。;萨拉赫,K.B。;盖迪拉,K。
相关软件: 彗星;萨齐拉;阳光下…
主要字段: 计算机科学(68-XX)

GEOPAR公司

1份文件引用(2018)
软件作者: 勇敢,埃里克;Satbek Abdyldayev
相关软件: github;蟒蛇
主要字段: 几何(51-XX);计算机科学(68-XX)

J.CP公司

1份文件引用(2002)
软件作者: 乔治·林格威尔斯基
相关软件:
主要字段: 计算机科学(68-XX)

ManiSolve(操纵求解)

1份文件引用(2019)
软件作者: 阿里·巴哈列夫;阿诺德·诺伊迈尔;赫尔曼·施奇尔
相关软件: Dymola;github;t-SNE…
主要字段: 数值分析(65-XX)

MLBSE公司

在0个文档中引用
软件作者: 卜、雷;梁永娟;谢准义;钱洪;胡一齐;余、杨;陈欣;李宣东
相关软件: 日本煤炭公司;jCUTE公司;XSat…
主要字段: 计算机科学(68-XX)

筛选结果依据…

全部的 前5名

相关软件