开放-WBO swMATH ID: 10045 软件作者: 鲁本·马丁斯(Ruben Martins);曼奎尼奥,瓦斯科;林奇,因斯 描述: Open-WBO:模块化MaxSAT解算器。本文介绍了一种新的MaxSAT求解器open-wbo。open-wbo有两个主要特点。首先,它是一个易于修改和扩展的开源解算器。大多数MaxSAT解算器都没有开源版本,因此很难扩展和改进当前的MaxSAT算法。其次,开放式wbo可以使用任何类似MiniSAT的解算器作为底层SAT解算器。与许多其他MaxSAT解算器一样,open-wbo依赖于对SAT解算器的连续调用。尽管SAT解算器每年都会提出新的技术,但对于许多MaxSAT求解器来说,很难更改底层的SAT解算器。使用开放式wbo,SAT技术的进步将免费提高求解器的性能。此外,本文使用开放wbo评估了使用不同SAT解算器对MaxSAT算法性能的影响。 主页: http://link.springer.com/chapter/10.1007/978-3-319-09284-3_33 相关软件: 周六4j;QMax卫星;超小卫星;最大HS;古罗比;RC2号机组;LMHS公司;葡萄糖;糠;普韦布洛;PBLib(公共图书馆);玲玲;弯曲;MiniMaxSat卫星;PicoSAT卫星;Treengeling公司;CPLEX公司;CCLS公司;打包;WASP公司 引用于: 37文件 全部的 前5名105位作者引用 4 贾马尔·哈贝特 三 蔡少伟 三 穆罕默德·萨米·谢里夫 三 马蒂·Järvisalo 三 林奇,因斯 三 Vasco M.Manquinho。 三 Joáo P.塞尔瓦侯爵。 2 杰里米亚斯·伯格 2 埃米尔·德米罗维奇 2 阿列克谢·伊格纳提耶夫(Alexey A.Ignatyev)。 2 雷振东 2 罗,川 2 鲁本·马丁斯 2 安东尼奥·莫尔加多 2 尼斯雷特·穆斯利乌 2 雅各布诺德斯特伦 2 皮·马蒂厄 2 莫西·亚亚科夫·瓦尔迪 1 安德烈·阿布拉梅 1 阿坤、奥祖尔 1 何塞普·阿盖利希 1 阿西恩,AcháRoberto 1 法希姆·巴克斯 1 克里斯蒂娜·巴兹根 1 Johannes Bechberger 1 拉蒙·贝加尔 1 奥拉夫·拜尔斯多夫 1 亨德里克·比尔莱 1 玛丽亚·路易莎·博内 1 Samuel R.巴斯。 1 查克拉波蒂,苏普拉特克 1 勒罗伊·周 1 乔迪·科尔 1 大卫·丹克斯 1 Jip J.德克尔。 1 乔·德弗里安特 1 马西米利亚诺·迪文特拉 1 雷娜·迪米特洛娃 1 弗雷德里克·埃伯哈特 1 简·埃尔弗斯 1 塞萨尔·费尔南德斯。 1 费盖拉,何塞·鲁伊 1 油炸,Dror 1 艾伦·M·弗里希。 1 格雷姆·恒河 1 费林·加特曼 1 伊恩·菲利普·根特 1 马哈萨·加西米 1 比什瓦米特拉·戈什 1 吉拉尔德斯·克鲁,杰苏斯 1 安布罗斯·格雷克斯纳(Ambros M.Gleixner)。 1 彼得·格罗·曼 1 安德烈亚·格雷罗。 1 何坤 1 霍尔格·H·胡斯。 1 安蒂·海蒂宁 1 艾文德·贾伦 1 汤米·詹胡宁 1 米科拉什·亚诺塔 1 克里斯托弗·杰斐逊 1 劳拉·科蓬恩 1 凯里里迪斯、阿纳斯塔西奥斯 1 杰罗姆·朗 1 丹尼尔·勒贝雷 1 李楚敏 1 林金坤 1 米纳·马哈扬 1 德米特里·M·马柳托夫。 1 诺伯特·曼恩 1 马努基安,海克 1 很多,费利普 1 皮埃尔·侯爵 1 卡莱斯·马图 1 Kuldeep S.梅尔。 1 卡洛斯·门西娅 1 杰罗姆·梅根 1 伊恩·米格尔 1 卡尔·纳希蒂格尔 1 米盖尔·奈维斯(Miguel M.Neves)。 1 Peter W.南丁格尔。 1 安德烈亚斯·尼斯卡宁 1 埃米利亚·奥伊卡里宁 1 裴燕如 1 乔迪,飞机 1 谢尔盖·普利斯 1 亚历克斯·普尔 1 亚历山德罗·普雷维蒂 1 苏伊拉,劳拉 1 安妮塔·舍贝尔 1 安舒马利·施里瓦斯塔瓦 1 Šhukla,Anil K。 1 彼得·詹姆斯·斯塔基 1 苏凯乐 1 卢卡斯·塔巴哈拉。 1 塔克,吉多 1 乌富克托普库 1 丹尼尔·范德普顿 1 马克·维尼亚尔斯 1 约翰内斯·彼得·沃尔纳 1 罗曼·沃伦 …还有5位作者 全部的 前5名13篇连载文章中引用 8 人工智能 2 计算机与运筹学 2 人工智能通信 2 人工智能研究杂志 1 信息学报 1 信息与计算 1 国际近似推理杂志 1 运筹学年鉴 1 系统设计中的形式化方法 1 数学与人工智能年鉴 1 约束条件 1 逻辑程序设计理论与实践 1 机器学习研究杂志(JMLR) 全部的 前5名在7个字段中引用 33 计算机科学(68至XX) 8 运筹学、数学规划(90-XX) 5 数学逻辑和基础(03-XX) 2 统计学(62-XX) 1 阶、格、有序代数结构(06-XX) 1 博弈论、经济学、金融和其他社会和行为科学(91-XX) 1 生物学和其他自然科学(92-XX) 按年份列出的引文