sunny-cp公司 swMATH ID: 31181 软件作者: 罗伯特·阿马迪尼、毛里齐奥·加布里埃利、雅各布·毛罗 描述: SUNNY-CP:序列CP投资组合求解器。约束编程(CP)范式允许建模和解决约束满足/优化问题(CSP/COP)。CP组合求解器是一种特殊的约束求解器,它利用不同CP求解器的组合,通过适当利用算法选择技术来解决给定的问题。在这项工作中,我们展示了sunny-cp:一个用于解决CSP和COP的cp组合,在MiniZin挑战赛(cp求解者的参考竞赛)中也具有竞争力。 主页: https://hal.inia.fr/hal-01227589/document 源代码: https://github.com/CP-Unibo/sunny-CP 相关软件: 萨特齐拉;迷你锌;阳光;本质;CSPLib数据库;玲玲;SMAC公司;数字插孔;糠;SAT时CUD;阿司匹林;ManySAT公司;meSAT公司;变形杆菌属;自动对开;迷你们;irace公司;Picat-SAT卫星;神经卫星;水晶球 引用于: 8文件 全部的 前5名被21位作者引用 2 罗伯托·阿马迪尼 2 毛里齐奥·加布里埃利 2 雅各布·毛罗 2 伊恩·米格尔 1 阿坤、奥祖尔 1 奥古斯托·塞萨尔·海卢伊·丹塔斯 1 埃米尔·德米罗维奇 1 伊恩·菲利普·根特 1 Ciaran McCreesh 1 尼尔·C·A·摩尔。 1 Peter W.南丁格尔。 1 波佐,奥罗拉·特立尼达·拉米雷斯 1 帕特里克·普洛瑟 1 哈拉尔德·森德加德 1 帕特里克·斯普拉克伦 1 彼得·詹姆斯·斯塔基 1 法比奥·塔迪沃 1 不值得,克里斯 1 罗纳德·范·德里尔 1 王文喜 1 尼尔·约克-史密斯 4篇连载文章中引用 2 逻辑程序设计理论与实践 1 人工智能 1 理论计算机科学 1 自动推理杂志 在2个字段中引用 8 计算机科学(68至XX) 三 运筹学、数学规划(90-XX) 按年份列出的引文