软件搜索-zbMATH Open

阳光

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

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

4	罗伯托·阿马迪尼
4	毛里齐奥·加布里埃利
4	雅各布·毛罗
2	拉尔斯·科特霍夫
2	马吕斯·林道尔
1	吉尔·奥德玛
1	伯恩德·比施尔
1	古斯塔夫·比约达尔
1	奥古斯托·塞萨尔·海卢伊·丹塔斯
1	阿戈斯蒂诺·多维尔
1	皮埃尔·弗莱纳
1	安德烈亚·福米萨诺
1	亚历山大·弗雷谢特
1	卢卡斯·格林
1	戈帕尔·古普塔
1	曼努埃尔五世（Manuel V.Hermenegildo）。
1	霍尔格·H·胡斯。
1	埃克Hullermeier
1	弗兰克·哈特
1	贾尼契奇，普雷德拉格
1	帕斯卡·科尔斯克
1	佐尔坦科瓦奇
1	凯文·莱顿·布朗
1	尤里·马利茨基
1	韦斯纳·马林科维奇
1	珍妮·诺埃尔·莫内特
1	姆拉丹·尼科利奇
1	贾斯汀·皮尔逊
1	恩里科·蓬泰利
1	波佐，奥罗拉·特立尼达·拉米雷斯
1	里卡多·罗查
1	Laurent S.R.西蒙。
1	哈拉尔德·森德加德
1	彼得·詹姆斯·斯塔基
1	蒂尔尼，凯文
1	亚历山大·托内德
1	龙卷风，Tanja
1	van Rijn，Jan N。
1	华金·范肖伦
1	王文喜
1	马塞尔·韦弗