×

阳光

swMATH ID: 31800
软件作者： 罗伯托·阿马迪尼；毛里齐奥·加布里埃利；雅各布·毛罗
描述： SUNNY：用于解决约束的懒惰投资组合方法。在约束求解的背景下，组合方法允许利用不同解算器之间的协同作用，以创建全局更好的解算器。在本文中，我们介绍了SUNNY：一种简单而灵活的算法，它利用约束求解器的组合，在不学习显式模型的情况下，计算它们的调度，以解决给定的约束满足问题（CSP）。受SUNNY与其他最先进方法的不同模拟所达到的性能的激励，我们开发了SUNNY-csp，这是一种有效的组合求解器，它利用潜在的SUNNY算法来求解给定的csp。对MiniZin模型的详尽基准进行的实证测试表明，sunny-csp的实际性能与预测相符。这对于提高CSP组合求解器的能力以及尝试将其导出到诸如答案集编程和约束逻辑编程等领域都是令人鼓舞的。
主页： https://arxiv.org/abs/1311.3353
关键词： 算法组合;人工智能;约束满足;机器学习
相关软件： 萨特齐拉;迷你锌;变形杆菌属;sunny-cp公司;阿司匹林;SMAC公司;对夹2;meSAT公司;美洲驼;ASlib（ASlib）;威卡;数字插孔;吉隆坡机场;z3（零3）;超小卫星;PMTK公司;糠;SCIP公司;自动对开;自动锁相环
引用于： 12出版物

标准条款

1出版物描述软件，包括1出版物以zbMATH为单位 年份
SUNNY：用于解决约束的懒惰投资组合方法。 Zbl 1307.68077号
罗伯托·阿马迪尼;毛里齐奥·加布里埃利;雅各布·毛罗
2014
全部的 前5名

32位作者引用

5 罗伯托·阿马迪尼
4 毛里齐奥·加布里埃利
4 雅各布·毛罗
2 拉尔斯·科特霍夫
2 马吕斯·林道尔
2 哈拉尔德·森德加德
2 彼得·詹姆斯·斯塔基
1 吉尔·奥德玛
1 伯恩德·比施尔
1 古斯塔夫·比约达尔
1 奥古斯托·塞萨尔·海卢伊·丹塔斯
1 皮埃尔·弗莱纳
1 亚历山大·弗雷谢特
1 格雷姆·恒河
1 霍尔格·H·胡斯。
1 弗兰克·哈特
1 贾尼契奇，普雷德拉格
1 帕斯卡·科尔斯克
1 佐尔坦科瓦奇
1 凯文·莱顿·布朗
1 尤里·马利茨基
1 韦斯纳·马林科维奇
1 珍妮·诺埃尔·莫内特
1 姆拉丹·尼科利奇
1 贾斯汀·皮尔逊
1 波佐，奥罗拉·特立尼达·拉米雷斯
1 彼得·沙赫特
1 Laurent S.R.西蒙。
1 凯文·蒂尔尼
1 van Rijn，Jan N。
1 华金·范肖伦
1 王文喜
全部的 前5名

6篇连载文章中引用

2 人工智能
2 数学与人工智能年鉴
2 逻辑程序设计理论与实践
1 理论计算机科学
1 自动推理杂志
1 制约因素

在3个字段中引用

11 计算机科学（68至XX）
4 运筹学、数学规划（90-XX）
1 几何图形（51至XX）

按年份列出的引文