普韦布洛 swMATH ID: 743 软件作者: 侯赛因·希尼。;卡伦·萨卡拉。 描述: 本文介绍了一种新的混合方法,用于将伪布尔(PB)约束有效地集成到通用SAT求解器中,以解决PB可满足性和优化问题。为了实现这一点,我们采用割平面技术在PB约束之间进行推理,并将其与通用蕴涵图分析相结合,用于冲突诱导学习。该方法的新特点包括一种轻量级、高效的混合学习和回跳策略,用于分析PB约束和CNF子句,以便以最小开销同时学习CNF子句和PB约束,并使用两者来确定回溯级别。介绍了几种处理原始PB约束和学习PB约束的技术。总的来说,我们的方法从学习到的PB约束的剪枝能力中受益匪浅,同时将它们添加到问题中的开销保持在较低水平。在本文中,我们还讨论了解决PB问题的另外两种方法,即整数线性规划和CNF SAT的预处理,并将它们与我们的混合方法进行了彻底的比较。我们还演示了该方法与其他混合方法的实验比较。此外,我们还提供了基于MiniSAT的求解器Pueblo实现的详细信息,以使读者能够构建类似的求解器。 主页: http://www.cril.univ-artois.fr/PB06/papers/pueblo15.pdf 关键词: 可满足性;基于推理的学习;整数线性规划;CDCL公司;切割平面学习 相关软件: 超小卫星;糠;周六4j;美国公共广播电视公司;PicoSAT卫星;MaxSolver(最大解算器);MiniMaxSat卫星;开放-WBO;古罗比;DIMACS公司;UBCSAT公司;SATIRE(饱和);OPBDP公司;CPLEX公司;MIPLIB公司;扣环;RPOLY公司;CP网络;SCIP公司;C模型 引用于: 33文件 标准条款 1出版物描述软件,包括1出版物以zbMATH为单位 年份 Pueblo:混合伪布尔SAT解算器。 Zbl 1116.68090号侯赛因·M·希尼。;卡伦·萨卡拉。 2006 全部的 前5名84位作者引用 5 Joáo P.塞尔瓦侯爵。 4 费德里科·赫拉斯 4 Vasco M.Manquinho。 三 西蒙·德·吉夫里 三 哈维尔·拉罗萨 2 丹尼尔·勒贝雷 2 林奇,因斯 2 安托尼奥·莫尔加多 2 阿尔伯特·奥利弗拉斯 2 乔迪,飞机 2 奥利维尔·罗塞尔 2 托马斯·希克斯 2 罗曼·沃伦 1 奥利维尔·贝利 1 M.宾什托克。 1 巴特·博加特 1 雅辛布夫哈德 1 罗恩·布拉夫曼(Ronen I。Brafman)。 1 克里斯托夫·布赫海姆 1 埃里克·卡尔 1 沃尔夫·德·沃尔夫 1 乔·德弗里安特 1 伊曼纽尔·迪·罗莎 1 卡梅尔·多姆什拉克 1 杜建峰 1 东,黛博拉 1 卡斯滕·福斯 1 马丁·盖布瑟 1 吉尔根·吉斯尔 1 恩里科·金西格里亚 1 安布罗斯·格雷克斯纳(Ambros M.Gleixner)。 1 沃尔特·戈梅斯·博菲尔 1 伊琳娜·乔治耶夫娜·戈亚切娃 1 阿布吉特·戈萨维 1 安娜·格拉萨 1 米哈伊尔·伊卡希亚耶夫 1 Aykut F.卡拉曼。 1 罗兰·卡明斯基 1 本杰明·考夫曼 1 蒂莫西·科勒。 1 科瓦列夫,罗马人 1 詹姆斯·克雷斯尔 1 凯里里迪斯、阿纳斯塔西奥斯 1 索林·勒纳 1 马克·利菲顿(Mark H.Liffiton)。 1 尼古拉·利西科夫 1 马可·马拉提亚 1 伊戈尔·马尔科夫。 1 皮埃尔·侯爵 1 鲁本·马丁斯 1 阿尔特·米德尔多普 1 吉纳迪·米切夫 1 阿图尔·米基图克 1 罗伯特·纽文胡斯 1 雅各布·诺德斯特伦 1 阿林多·L·奥利维拉。 1 埃姆拉·奥兹卡亚 1 德米特里·波戈列洛夫 1 桂林齐 1 阿拉提·拉马尼 1 乔瓦尼·里纳尔迪 1 卡伦·萨卡拉。 1 马蒂·桑切斯 1 托尔斯滕·绍布(Torsten H.Schaub)。 1 彼得·施奈德·坎普 1 侯赛因·M·希尼。 1 希奥莫尼,S.E。 1 安舒马利·施里瓦斯塔瓦 1 维塔利·西蒙诺夫 1 谢尔盖·索申科夫 1 迈克尔·斯特普 1 罗斯·泰特 1 扎卡里·塔特洛克 1 雷内·蒂曼 1 埃琳娜·托斯卡娅 1 特鲁什琴斯基,米洛斯奥 1 卡拉·范·韦斯特 1 莫西·亚亚科夫·瓦尔迪 1 理查德·H·威尔森。 1 弗拉迪斯拉夫·亚兹科夫 1 谢尔盖·维克托洛维奇·扎哈罗夫 1 哈拉尔赞克尔 1 张志伟 1 伊利亚·扎罗夫 全部的 前5名11篇连载文章中引用 5 可满足性、布尔建模与计算杂志 4 约束条件 2 人工智能 2 人工智能研究杂志 2 多体系统动力学 1 AI通信 1 运筹学年鉴 1 运筹学的数学方法 1 计算机基础理论 1 OR光谱 1 计算机科学中的逻辑方法 全部的 前5名在8个字段中引用 24 计算机科学(68-XX) 10 运筹学、数学规划(90-XX) 三 生物学和其他自然科学(92-XX) 1 数学逻辑和基础(03-XX) 1 阶、格、有序代数结构(06-XX) 1 粒子和系统力学(70-XX) 1 可变形固体力学(74-XX) 1 博弈论、经济学、金融和其他社会和行为科学(91-XX) 按年份列出的引文