阳光明媚

SUNNY:一种用于约束求解的懒惰的投资组合方法。在约束求解的上下文中,投资组合方法允许利用不同解算器之间的协同作用,以创建一个全局性更好的解算器。在本文中,我们提出了SUNNY:一个简单而灵活的算法,它利用一组约束求解器,在不学习显式模型的情况下计算出一组求解给定约束满足问题(CSP)的调度。受SUNNY与其他最先进方法的不同模拟所达到的性能的激励,我们开发了SUNNY csp,一种有效的组合求解器,它利用了SUNNY算法来求解给定的csp。对MiniZinc模型的详尽基准进行了实证检验,结果表明sunny csp的实际性能与预测相符。这对于提高CSP投资组合求解器的能力以及尝试将它们导出到诸如答案集编程和约束逻辑编程等领域都是鼓舞人心的。


zbMATH中的参考文献(引用于,1标准件)

显示结果1到11,共11个。
按年份排序(引用)

  1. Dantas,Augusto;Pozo,Aurora:关于适应度景观特征在基于元学习的二次分配问题算法选择中的应用(2020)
  2. Lindauer,Marius;van Rijn,Jan N.;Kotthoff,Lars:2015和2017(2019)算法选择竞赛
  3. Nikolić,Mladen;Marinković,Vesna;Kovács,Zoltán;Janičić,Predrag:几何的投资组合定理证明和prover运行时预测(2019年)
  4. Wang,Wenxi;Søndergaard,Harald;Stuckey,Peter J.:Wombit:使用词级传播的投资组合位向量解算器(2019年)
  5. 阿马蒂尼,罗伯托;加布里埃利,毛里齐奥;毛罗,雅各布:阳光-CP和迷你锌挑战赛(2018)
  6. Amadini,Roberto;Gabbrielli,Maurizio;Mauro,Jacopo:约束优化问题的投资组合方法(2016)
  7. Audemard,Gilles;Simon,Laurent:《SAT问题的极端案例》(2016)
  8. Bischl,Bernd;Kerschke,Pascal;Kotthoff,Lars;Lindauer,Marius;Malitsky,Yuri;Fréchette,Alexandre;Hoos,Holger;Hutter,Frank;Leyton Brown,Kevin;Tierney,Kevin;Vanshoren,Joaquin:ASlib:算法选择的基准库(2016)
  9. 阿马蒂尼,罗伯托;加布里埃利,毛里齐奥;毛罗,雅各布:为什么CP投资组合解决方案被(低)利用?问题与挑战(2015)
  10. 比约达尔,古斯塔夫;莫内特,让诺埃尔;弗莱纳,皮埃尔;皮尔森,贾斯汀:MiniZinc基于约束的本地搜索后端(2015)
  11. Amadini,Roberto;Gabbrielli,Maurizio;Mauro,Jacopo:SUNNY:一种用于约束解决的懒惰投资组合方法(2014)