×

变形杆菌属

swMATH ID: 10080
软件作者： 巴里·赫尔利；Kotthoff，Lars；尤里·马利茨基；巴里·奥沙利文
描述： Proteus：求解器和转换的层次组合。近年来，解决SAT问题和CSP的组合方法变得越来越普遍。还有许多不同的编码用于将CSP表示为SAT实例。在本文中，我们利用SAT和CSP求解的进展，提出了一种新的基于层次组合的CSP求解方法，我们称之为Proteus，它不完全依赖于CSP求解器。相反，它可能会决定最好将CSP问题实例编码为SAT，选择合适的编码和相应的SAT求解器。我们的实验评估使用了Proteus的一个实例，该实例涉及四个CSP解算器、三个SAT编码和六个SAT解算器，并对CSP求解器竞赛中最具挑战性的问题实例进行了评估，涉及全局和内涵约束。我们表明，通过利用组合问题求解的替代视点和求解器，Proteus可以实现显著的性能改进。
主页： http://link.springer.com/chapter/10.1007%2F978-3-319-07046-9_22
相关软件： 迷你锌;萨特齐拉;阳光;SMAC公司;meSAT公司;对夹2;美洲驼;糖;自动对开;z3（零3）;超小卫星;阿司匹林;ASlib（ASlib）;威卡;帕拉米尔斯;杰伦吉;吉隆坡机场;sunny-cp公司;PMTK公司;糠
引用于： 11文件
全部的 前5名

42位作者引用

2 拉尔斯·科特霍夫
2 马里乌斯·林道尔
2 彼得·詹姆斯·斯塔基
1 阿洛切，大卫
1 罗伯托·阿马迪尼
1 亨德里克·比尔莱
1 伯尔尼比施
1 西蒙·德·吉夫里
1 Jip J.德克尔。
1 亚历山大·弗雷谢特
1 尤金·弗洛伊德。
1 毛里齐奥·加布里埃利
1 格雷姆·恒河
1 胡斯，霍尔格H。
1 巴里，赫尔利
1 弗兰克·哈特
1 伊娜拉、杰埃瓦娜·普利亚
1 贾尼契奇，普雷德拉格
1 乔治·卡特西雷洛斯
1 帕斯卡·科尔斯克
1 Kovács，佐尔坦
1 凯文·莱顿·布朗
1 尤里·马利茨基
1 Marinković，韦斯纳
1 雅各布·毛罗
1 Peter W.南丁格尔。
1 姆拉丹·尼科利奇
1 巴里·奥沙利文
1 托马斯·希克斯
1 罗希特·辛格。
1 Michael Sioutis先生
1 阿曼多·索拉勒扎马
1 Søndergaard，哈拉尔
1 塔克·吉多
1 凯文·蒂尔尼
1 费利克斯·乌尔里希·奥尔坦
1 van Rijn，Jan N。
1 华金·范肖伦
1 詹姆斯·阿尔弗雷德·沃克
1 王文喜
1 沃尔特，迪德里奇
1 马蒂亚斯·兹特尼基

5篇连载文章中引用

三 约束条件
2 人工智能
1 信息与计算
1 自动推理杂志
1 数学与人工智能年鉴

在4个字段中引用

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

按年份列出的引文