×

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

FITradeoff公司

22篇文献引用(2016–2024)
软件作者: de Almeida等人。;Frej等人。
相关软件: UTA Plus;ComPAIRS公司;丰富的决策…
主要字段: 数理逻辑与基础(03-XX);计算机科学(68-XX);运筹学,数学规划(90-XX)…

Yochan公司

5份文件引用(2009–2011)
软件作者: J.Benton、S.Kambhampati、M.Do
相关软件: PDDL;随身听;CP网络…
主要字段: 计算机科学(68-XX)

PoliUniPool公司

4份文件引用(2017–2022)
软件作者: 布鲁列里,M。;西卡雷利·D·。;科尔尼,A。;A.吕埃。
相关软件: irace;DEACO公司;SPEA2…
主要字段: 计算机科学(68-XX);运筹学、数学规划(90-XX);博弈论、经济学、金融和其他社会和行为科学(91-XX)

r首选项

2份文件引用(2015)
软件作者: 帕特里克·鲁克斯
相关软件: dplyr;懒惰;调音播放…
主要字段: 数理逻辑与基础(03-XX);计算机科学(68-XX)

PPlan(PPlan)

2份文件引用(2011–2020)
软件作者: Bienvenu,M。;弗里茨,C。;Sohrabi,S。;南卡罗来纳州麦克莱思。
相关软件: MiniSat;nuXmv;Walksat…
主要字段: 数理逻辑与基础(03-XX);计算机科学(68-XX)

筛选结果依据…

全部的 前5名

相关软件

全部的 前3名

主字段