MiniMaxSat卫星 swMATH ID: 9732 软件作者： 费德里科·赫拉斯；哈维尔·拉罗萨；阿尔伯特·奥利弗拉斯 描述： MiniMaxSat：一种新的加权Max-SAT解算器。在本文中，我们介绍了MiniMaxSat，一种新的Max-SAT解算器，它融合了最佳SAT和Max-SAT技术。它可以处理硬条款（SAT中的强制满足条款）、软条款（Max-SAT中的伪造会受到成本惩罚的条款）以及伪布尔目标函数和约束。它的主要特点是：硬句的学习和回跳；基于分辨率和基于减法的下限；以及使用双观察文本方案的延迟传播。我们对一系列优化基准的实证评估表明，它的性能通常接近最佳的专业替代方案，在某些情况下甚至更好。 主页： http://link.springer.com/chapter/10.1007/978-3-540-72788-0_8 相关软件： 周六4j;最大HS;QMax卫星;糠;徒步旅行;超小卫星;MaxSolver（最大解算器）;CCLS公司;UBCSAT公司;PicoSAT卫星;Berk最小值;美国公共广播电视公司;普韦布洛;中央结算卫星;开放-WBO;萨特齐拉;工作包2;图尔巴尔2;RC2号机组;焊接工艺规范3 引用于： 39文件 标准条款 1出版物描述软件，包括1出版物以zbMATH为单位 年份 Minimaxsat：一种高效的加权Max-SAT解算器。 Zbl 1183.68578号赫拉斯，F。;J·拉罗萨。;奥利弗拉斯，A。 2008 全部的 前5名87位作者引用 5 Joáo P.塞尔瓦侯爵。 5 乔迪，飞机 4 卡洛斯·安索特吉 4 丹尼尔·贝伦德 4 李楚敏 4 很多，费利普 4 Yochai的Twitto 三 乔尔·加布 三 戈兰，沙哈尔 三 费德里科·赫拉斯 三 马可·马拉提亚 2 约塞普·阿格利奇 2 奥费尔·阿列利 2 杰西卡·凯瑟琳·戴维斯 2 西蒙·德·吉夫里 2 贾马尔哈贝特 2 哈维尔·拉罗萨 2 约尔迪·利维 2 穆罕默德·乌尔德 2 安托尼奥·莫尔加多 2 罗伯特·纽文胡斯 2 阿尔伯特·奥利弗拉斯 2 托马斯·希克斯 2 安娜·扎曼斯基 1 艾比奥，伊格纳西 1 艾布拉梅，安德烈 1 塔斯尼姆·纳赛尔·叶海亚 1 阿洛奇，大卫 1 伊莎贝·安德烈 1 阿西恩·阿查，罗伯托 1 法希姆·巴克斯 1 戴维·巴内雷斯 1 苏菲·芭比 1 玛丽亚·路易莎·博内 1 蔡少伟 1 穆罕默德·萨米·谢里夫 1 乔迪·科尔 1 马丁·库珀。 1 Deters，摩根 1 伊曼纽尔·迪·罗莎 1 塞巴斯蒂安·埃伯哈德 1 穆罕默德·埃尔巴奇尔·梅奈 1 恩里科·金西格里亚 1 阿南德拉杰·戈文丹 1 安娜·格拉萨 1 何坤 1 斯特凡·赫兹尔 1 茨城，东芝 1 高桥伊马西 1 诺琳·贾米尔 1 钱德·贾亚拉曼 1 乔治·卡特西雷洛斯 1 基兰，T.V.S。 1 高贺，Yuichi 1 马克·利菲顿（Mark H.Liffiton）。 1 林金坤 1 罗，川 1 克里斯托夫·卢特罗思 1 林奇，因斯 1 沙拉德·马利克 1 尤里·马利茨基 1 Vasco M.Manquinho。 1 奥勒·蒙绍尔。 1 穆勒，约翰内斯 1 纳伊姆·M·阿西夫 1 广岛长垣 1 纳文·奈尔。 1 Koji Nonobe公司 1 帕特里克·R·J·奥斯特格德。 1 巴里·奥沙利文 1 史蒂文·普雷斯特维奇。 1 卢卡·普利纳 1 甘尼什·拉马克里希南 1 恩里克·罗德里格斯-卡博内尔 1 丹·罗斯 1 马蒂·桑切斯 1 梅诺夫·塞尔曼 1 彼得·詹姆斯·斯塔基 1 苏凯乐 1 塞杜·特拉奥雷 1 Vesa P.瓦斯克莱宁。 1 杰拉尔德·韦伯 1 汤姆·沃纳 1 大卫·C·威尔金斯。 1 徐振兴 1 Mutsunori Yagiura 1 马蒂亚斯·兹特尼基 全部的 前5名18篇连载文章中引用 6 人工智能 三 AI通信 三 约束条件 三 离散优化 2 优化信函 1 计算与应用数学杂志 1 纯逻辑与应用逻辑年鉴 1 计算机科学与技术杂志 1 自动推理杂志 1 国际近似推理杂志 1 运筹学年鉴 1 数学编程。A系列B系列 1 人工智能研究杂志 1 数学与人工智能年鉴 1 启发式杂志 1 组合优化期刊 1 应用逻辑杂志 1 可满足性、布尔建模与计算杂志 在5个字段中引用 31 计算机科学（68至XX） 15 运筹学、数学编程（90-XX） 2 数学逻辑和基础（03-XX） 1 数值分析（65-XX） 1 生物学和其他自然科学（92-XX） 按年份列出的引文