彗星

此软件的关键字
zbMATH中的参考文献, 1标准件 )
Chen,Qian Matteo;Finzi,Alberto;Mancini,Toni;Melatti,Igor;Tronci,Enrico:MILP、伪布尔和OMT解算器,用于关键无线网络中中继节点的最佳容错配置(2020年) 秦天宝;杜玉泉;陈江航;沙梅:混合整数规划与约束规划相结合求解单船集装箱装卸作业综合调度问题(2020) Gent,Ian P.;Miguel,Ian;Nightingale,Peter;McCreesh,Ciaran;Prosser,Patrick;Moore,Neil C.A.;Unsworth,Chris:并行约束求解文献综述(2018) Adamo,Tommaso;Ghiani,Gianpaolo;Grieco,Antonio;Guerriero,Emanuela;Manni,Emanuele:通过语义特征提取和自动算法配置进行MIP邻域合成(2017) Guns,Tias;Dries,Anton;Nijssen,Siegfried;Tack,Guido;De Raedt,Luc:基于约束的采矿的声明性框架(2017) Michel,L.;Van Hentenryck,P.:约束编程的微内核架构(2017) Umetani,Shunji:在大型二进制整数程序中利用变量关联配置高效的局部搜索算法(2017) Cire,Andre A.;Hooker,John N.;Yunes,Tallys:用元约束和变量语义类型进行建模(2016) Shishmarev,Maxim;Mears,Christopher;Tack,Guido;Garcia de la Banda,Maria:视觉搜索树分析(2016) 比约达尔,古斯塔夫;莫内特,让诺埃尔;弗莱纳,皮埃尔;皮尔森,贾斯汀:MiniZinc基于约束的本地搜索后端(2015) Caniou,Yves;Codognet,Philippe;Richoux,Florian;Diaz,Daniel;Abreu,Salvador:基于约束的局部搜索的大规模并行:costas数组案例研究(2015) Sörensen,Kenneth:元启发式——隐喻暴露(2015) Tom Schrijvers;Demoen,Bart;Triska,Markus;Desoert,Benoit:\ textscTor:带可挂接析取的模块化搜索(2014) Abdallah,A.Nait;van Emden,M.H.:约束传播作为信息最大化(2013) Ansótegui,Carlos;Bofill,Miquel;Palahí,Miquel;Suy,Josep;Villaret,Mateu:通过重新表述为可满足性模理论来求解带有元约束的加权CSP(2013) Gualandi,Stefano;Maffioli,Francesco;Magni,Claudio:A branch and price approach to(k)-聚类最小双解完备问题(2013) Humeau,J.;Liefooghe,A.;Talbi,E.-G.;Verel,S.:ParadisEO-MO:从适应度景观分析到有效的局部搜索算法(2013) Tom Schrijvers;Tack,Guido;Wuille,Pieter;Samulowitz,Horst;Stuckey,Peter J.:搜索组合(2013) 袁元;徐华:大规模柔性作业车间调度问题的集成搜索启发式算法(2013) Hermenegildo,M.V.;Bueno,F.;Carro,M.;López García,P.;Mera,E.;Morales,J.F.;Puebla,G.:Ciao及其设计理念概述(2012年)