彗星

此软件的关键字
zbMATH中的参考文献(参考文献 80篇文章 , 1标准件 )
纪尧姆,埃斯卡莫切; 奥沙利文,巴里:《棋盘上的小妖精》(2021) 米歇尔,L。; 肖斯,P。; Van Hentenryck,P.:MiniCP:约束编程的轻量级求解器(2021) 特苏皮迪,罗多西娅·梅尔西尼; 洛扎诺,罗伯托·卡斯塔涅达; Baudry,Benoit:JOP gadgets的基于约束的多样化(2021) 韦纳,杰克; 恩斯特,安德烈亚斯T。; 李晓东; 孙,元; Deb,Kalyanmoy:用修正的拉格朗日粒子群优化混合算法求解最大边不相交路径问题(2021) 陈,钱马太; 芬齐,阿尔贝托; 曼奇尼,托尼; 伊戈尔,梅拉蒂; Tronci,Enrico:MILP,pseudo Boolean和OMT解算器,用于关键任务无线网络中中继节点的最佳容错配置(2020) 秦、天宝; 杜玉泉; 陈江航; 沙梅:混合整数规划与约束规划相结合求解单船集装箱装卸作业综合调度问题(2020) Ślażynski,Mateusz:局部搜索邻域算子自动合成研究报告(2019) Ślażynski,马特乌斯; 萨尔瓦多阿布鲁; Nalepa,Grzegorz J.:用综合逻辑程序生成局部搜索邻域(2019) 根特,伊恩·P。; 米格尔,伊恩; 南丁格尔,彼得; 麦克里斯,西兰; 普洛瑟,帕特里克; 摩尔,尼尔·C·A。; Unsworth,Chris:并行约束求解文献综述(2018) 阿达莫,托马索; 吉亚尼,吉安帕洛; 格里科,安东尼奥; 格雷里罗,伊曼纽拉; Manni,Emanuele:基于语义特征提取和自动算法配置的MIP邻域合成(2017) 枪,头饰; 干,安东; 尼森,齐格弗里德; 塔克,吉多; De Raedt,Luc:MiningZinc:基于约束的采矿的声明性框架(2017) 米歇尔,L。; Van Hentenryck,P.:约束编程的微内核架构(2017) Umetani,Shunji:在大型二进制整数程序中利用变量关联配置高效的局部搜索算法(2017) 赛尔,安德烈A。; 胡克,约翰·N。; Yunes,Tallys:用元约束建模和变量的语义类型(2016) 希玛列夫,马克西姆; 米尔斯,克里斯托弗; 塔克,吉多; Garcia de la Banda,Maria:视觉搜索树分析(2016) 比约达尔,古斯塔夫; 莫内特,让·诺埃尔; 弗莱纳,皮埃尔; Pearson,Justin:MiniZinc基于约束的本地搜索后端(2015) 卡努,伊夫; 科多涅特,菲利普; 弗罗里安里丘; 迪亚兹,丹尼尔; Abreu,Salvador:基于约束的局部搜索的大规模并行:costas阵列案例研究(2015) Sörensen,Kenneth:元启发式——隐喻暴露(2015) 施里杰弗斯,汤姆; 德蒙,巴特; 特里斯卡,马库斯; Desouter,Benoit:\textscTor:带可挂接分离的模块化搜索(2014) 阿卜杜拉,A.奈特; van Emden,M.H.:约束传播作为信息最大化(2013)