编辑配置文件（在新选项卡中打开） 阿尔伯特·奥利弗拉斯 合著者距离 作者ID： 奥利弗拉斯·阿尔伯特 发布日期： 阿尔伯特·奥利弗拉斯;奥利弗拉斯，A。 外部链接： ORCID公司 已编制索引的文档： 29出版物自1996年起 1名编辑贡献 合著者： 21位合著者具有30联合出版物 292联合作者 全部的 前5名合著者 0 单作者的 21 罗伯特·纽文胡斯 17 恩里克·罗德里格斯-卡博内尔 6 阿尔伯特·鲁比奥 4 丹尼尔·拉拉兹 4 哈维尔·拉罗萨 4 塞萨尔·蒂内利 三 伊格纳西·阿比奥 三 罗伯托·阿辛 三 克里斯蒂娜·博拉莱拉斯 1 阿西恩·阿查，罗伯托 1 克拉克·W·巴雷特。 1 马克·布罗克施米特 1 洛伦佐·坎迪戈 1 德国福雷 1 哈拉尔德·甘辛格 1 乔治·黑根 1 费德里科·赫拉斯 1 萨瓦·A·克里斯蒂。 1 萨尔瓦多卢卡斯 1 瓦伦丁·梅耶尔·艾希伯格 1 菲利普·萨伦比尔 全部的 前5名系列 2 自动推理杂志 2 人工智能研究杂志 1 信息与计算 1 人工智能通信 1 约束条件 1 美国计算机学会期刊 1 ACM计算逻辑事务 1 理论计算机科学电子笔记 领域 30 计算机科学（68至XX） 5 数学逻辑和基础（03-XX） 1 总体主题；集合（00-XX） 1 运筹学、数学规划（90-XX） 按年份列出的出版物 所有引用出版物 排名前五的出版物 zbMATH Open中包含的引文 28出版物有被引用512中的次378文件 引用人▼ 年份▼ 求解SAT和SAT模理论，从抽象的Davis-Putnam-Logemann-Loveland过程到（operatorname{DPLL}（T））。 Zbl 1326.68164号 罗伯特·纽文胡斯;阿尔伯特·奥利弗拉斯;塞萨尔·蒂内利 178 2006 DPLL（\（T\））：快速决策程序。 兹比尔1103.68616 哈拉尔德·甘辛格;乔治·黑根;罗伯特·纽文胡斯;阿尔伯特·奥利弗拉斯;塞萨尔·蒂内利 47 2004 Minimaxsat：一种高效的加权Max-SAT解算器。 Zbl 1183.68578号 赫拉斯，F。;J·拉罗萨。;奥利弗拉斯，A。 34 2008 SAT模理论中的按需分裂。 Zbl 1165.68480号 克拉克·巴雷特;罗伯特·纽文胡斯;阿尔伯特·奥利弗拉斯;塞萨尔·蒂内利 29 2006 具有穷举理论传播的DPLL（\（T\））及其在差分逻辑中的应用。 Zbl 1081.68629号 罗伯特·纽文胡斯;阿尔伯特·奥利弗拉斯 28 2005 关于SAT模理论和优化问题。 Zbl 1187.68558号 罗伯特·纽文胡斯;阿尔伯特·奥利弗拉斯 25 2006 基数网络：一项理论和实证研究。 Zbl 1217.68200号 罗伯托·阿辛;罗伯特·纽文胡斯;阿尔伯特·奥利弗拉斯;恩里克·罗德里格斯-卡博内尔 22 2011 快速同余闭包和扩展。 Zbl 1112.68116号 罗伯特·纽文胡斯;阿尔伯特·奥利弗拉斯 20 2007 一种参数化方法，用于对基数约束进行更小更好的编码。 Zbl 1432.68412号 伊格纳西·阿比奥;罗伯特·纽文胡斯;阿尔伯特·奥利弗拉斯;恩里克·罗德里格斯-卡博内尔 16 2013 抽象DPLL和抽象DPLL模理论。 Zbl 1109.68097号 罗伯特·纽文胡斯;阿尔伯特·奥利弗拉斯;塞萨尔·蒂内利 14 2005 证明一致性闭包。 兹比尔1078.68661 罗伯特·纽文胡斯;阿尔伯特·奥利弗拉斯 11 2005 对伪布尔约束的BDD进行了新的研究。 Zbl 1252.68267号 伊格纳西·阿比奥;罗伯特·纽文胡斯;阿尔伯特·奥利弗拉斯;恩里克·罗德里格斯-卡博内尔;瓦伦丁·梅耶尔·艾希伯格 11 2012 基数网络及其应用。 Zbl 1247.68244号 罗伯托·阿辛;罗伯特·纽文胡斯;阿尔伯特·奥利弗拉斯;恩里克·罗德里格斯-卡博内尔 9 2009 求解多项式约束和扩展的最小模型指导方法。 Zbl 1423.68457号 丹尼尔·拉拉兹;阿尔伯特·奥利弗拉斯;恩里克·罗德里格斯-卡博内尔;阿尔伯特·鲁比奥 9 2014 SAT模数线性算术理论：精确、不精确和商业求解器。 Zbl 1138.68537号 德国福雷;罗伯特·纽文胡斯;阿尔伯特·奥利弗拉斯;恩里克·罗德里格斯-卡博内尔 8 2008 求解多项式约束的SAT模线性算法。 Zbl 1243.68210号 克里斯蒂娜·博拉莱拉斯;萨尔瓦多卢卡斯;阿尔伯特·奥利弗拉斯;恩里克·罗德里格斯-卡博内尔;阿尔伯特·鲁比奥 7 2012 在SAT中高效生成不可满足性证明和核心。 Zbl 1182.68215号 罗伯托·阿辛;罗伯特·纽文胡斯;阿尔伯特·奥利弗拉斯;恩里克·罗德里格斯-卡博内尔 7 2008 通过有条件终止证明终止。 Zbl 1452.68046号 克里斯蒂娜·博拉莱拉斯;马克·布罗克施米特;丹尼尔·拉拉兹;阿尔伯特·奥利弗拉斯;恩里克·罗德里格斯-卡博内尔;阿尔伯特·鲁比奥 7 2017 具有整数偏移量的同余闭包。 Zbl 1273.68326号 罗伯特·纽文胡斯;阿尔伯特·奥利弗拉斯 6 2003 SAT、SAT模理论及其他的决策程序。BarcelogicTools。 Zbl 1143.68579号 罗伯特·纽文胡斯;阿尔伯特·奥利弗拉斯 5 2005 可满足性模理论的挑战。 Zbl 1203.68189号 罗伯特·纽文胡斯;阿尔伯特·奥利弗拉斯;恩里克·罗德里格斯-卡博内尔;阿尔伯特·鲁比奥 5 2007 用于认证布尔分支定界优化的框架。 兹比尔1213.68581 哈维尔·拉罗萨;罗伯特·纽文胡斯;阿尔伯特·奥利弗拉斯;恩里克·罗德里格斯-卡博内尔 三 2011 用于布尔优化和生成优化证书的分支和绑定。 Zbl 1247.68255号 哈维尔·拉罗萨;罗伯特·纽文胡斯;阿尔伯特·奥利弗拉斯;恩里克·罗德里格斯-卡博内尔 2 2009 连接运算符的实际扩展。 Zbl 0918.68134号 Salembier，P。;奥利弗拉斯，A。 2 1996 SAT求解器中不可满足性证明和核心生成的实用算法。 Zbl 1208.68195号 阿西恩·阿查，罗伯托;罗伯特·纽文胡斯;阿尔伯特·奥利弗拉斯;恩里克·罗德里格斯-卡博内尔 2 2010 半环诱导命题逻辑：定义和基本算法。 Zbl 1284.03209号 哈维尔·拉罗萨;阿尔伯特·奥利弗拉斯;恩里克·罗德里格斯-卡博内尔 2 2010 求解整数上非线性公式的不完全SMT技术。 Zbl 1433.68405号 克里斯蒂娜·博拉莱拉斯;丹尼尔·拉拉兹;恩里克·罗德里格斯-卡博内尔;阿尔伯特·奥利弗拉斯;阿尔伯特·鲁比奥 2 2019 伪布尔约束的BDD–再次访问。 Zbl 1330.68098号 伊格纳西·阿比奥;罗伯特·纽文胡斯;阿尔伯特·奥利弗拉斯;恩里克·罗德里格斯-卡博内尔 1 2011 求解整数上非线性公式的不完全SMT技术。 Zbl 1433.68405号 克里斯蒂娜·博拉莱拉斯;丹尼尔·拉拉兹;恩里克·罗德里格斯-卡博内尔;阿尔伯特·奥利弗拉斯;阿尔伯特·鲁比奥 2 2019 通过有条件终止来证明终止。 Zbl 1452.68046号 克里斯蒂娜·博拉莱拉斯;马克·布罗克施米特;丹尼尔·拉拉兹;阿尔伯特·奥利弗拉斯;恩里克·罗德里格斯-卡博内尔;阿尔伯特·鲁比奥 7 2017 求解多项式约束和扩展的最小模型指导方法。 Zbl 1423.68457号 丹尼尔·拉拉兹;阿尔伯特·奥利弗拉斯;恩里克·罗德里格斯-卡博内尔;阿尔伯特·鲁比奥 9 2014 一种参数化方法，用于对基数约束进行更小更好的编码。 Zbl 1432.68412号 艾比奥，伊格纳西;罗伯特·纽文胡斯;阿尔伯特·奥利弗拉斯;恩里克·罗德里格斯-卡博内尔 16 2013 对伪布尔约束的BDD进行了新的研究。 兹比尔1252.68267 伊格纳西·阿比奥;罗伯特·纽文胡斯;阿尔伯特·奥利弗拉斯;恩里克·罗德里格斯-卡博内尔;瓦伦丁·梅耶尔·艾希伯格 11 2012 求解多项式约束的SAT模线性算法。 Zbl 1243.68210号 克里斯蒂娜·博拉莱拉斯;萨尔瓦多卢卡斯;阿尔伯特·奥利弗拉斯;恩里克·罗德里格斯-卡博内尔;阿尔伯特·鲁比奥 7 2012 基数网络：一项理论和实证研究。 Zbl 1217.68200号 罗伯托·阿辛;罗伯特·纽文胡斯;阿尔伯特·奥利弗拉斯;恩里克·罗德里格斯-卡博内尔 22 2011 用于认证布尔分支定界优化的框架。 兹比尔1213.68581 哈维尔·拉罗萨;罗伯特·纽文胡斯;阿尔伯特·奥利弗拉斯;恩里克·罗德里格斯-卡博内尔 三 2011 伪布尔约束的BDD–再次访问。 Zbl 1330.68098号 伊格纳西·阿比奥;罗伯特·纽文胡斯;阿尔伯特·奥利弗拉斯;恩里克·罗德里格斯-卡博内尔 1 2011 SAT求解器中不可满足性证明和核心生成的实用算法。 Zbl 1208.68195号 阿西恩·阿查，罗伯托;罗伯特·纽文胡斯;阿尔伯特·奥利弗拉斯;恩里克·罗德里格斯-卡博内尔 2 2010 半环诱导命题逻辑：定义和基本算法。 Zbl 1284.03209号 哈维尔·拉罗萨;阿尔伯特·奥利弗拉斯;恩里克·罗德里格斯-卡博内尔 2 2010 基数网络及其应用。 Zbl 1247.68244号 罗伯托·阿辛;罗伯特·纽文胡斯;阿尔伯特·奥利弗拉斯;恩里克·罗德里格斯-卡博内尔 9 2009 用于布尔优化和生成优化证书的分支和绑定。 Zbl 1247.68255号 哈维尔·拉罗萨;罗伯特·纽文胡斯;阿尔伯特·奥利弗拉斯;恩里克·罗德里格斯-卡博内尔 2 2009 Minimaxsat：一种高效的加权Max-SAT解算器。 Zbl 1183.68578号 赫拉斯，F。;J·拉罗萨。;奥利弗拉斯，A。 34 2008 SAT模线性算术理论：精确、不精确和商业求解器。 Zbl 1138.68537号 德国福雷;罗伯特·纽文胡斯;阿尔伯特·奥利弗拉斯;恩里克·罗德里格斯-卡博内尔 8 2008 在SAT中高效生成不可满足性证明和核心。 Zbl 1182.68215号 罗伯托·阿辛;罗伯特·纽文胡斯;阿尔伯特·奥利弗拉斯;恩里克·罗德里格斯-卡博内尔 7 2008 快速同余闭包和扩展。 Zbl 1112.68116号 罗伯特·纽文胡斯;阿尔伯特·奥利弗拉斯 20 2007 可满足性模理论的挑战。 Zbl 1203.68189号 罗伯特·纽文胡斯;阿尔伯特·奥利弗拉斯;恩里克·罗德里格斯-卡博内尔;阿尔伯特·鲁比奥 5 2007 求解SAT和SAT模理论，从抽象的Davis-Putnam-Logemann-Loveland过程到（operatorname{DPLL}（T））。 Zbl 1326.68164号 罗伯特·纽文胡斯;阿尔伯特·奥利弗拉斯;塞萨尔·蒂内利 178 2006 SAT模理论中的按需分裂。 Zbl 1165.68480号 克拉克·巴雷特;罗伯特·纽文胡斯;阿尔伯特·奥利弗拉斯;塞萨尔·蒂内利 29 2006 关于SAT模理论和优化问题。 Zbl 1187.68558号 罗伯特·纽文胡斯;阿尔伯特·奥利弗拉斯 25 2006 穷举理论传播的DPLL（\（T\））及其在差分逻辑中的应用。 Zbl 1081.68629号 罗伯特·纽文胡斯;阿尔伯特·奥利弗拉斯 28 2005 抽象DPLL和抽象DPLL模理论。 Zbl 1109.68097号 罗伯特·纽文胡斯;阿尔伯特·奥利弗拉斯;塞萨尔·蒂内利 14 2005 证明一致性闭包。 Zbl 1078.68661号 罗伯特·纽文胡斯;阿尔伯特·奥利弗拉斯 11 2005 SAT、SAT模理论及其他的决策程序。BarcelogicTools。 Zbl 1143.68579号 罗伯特·纽文胡斯;阿尔伯特·奥利弗拉斯 5 2005 DPLL（\（T\））：快速决策程序。 兹比尔1103.68616 哈拉尔甘辛格;乔治·黑根;罗伯特·纽文胡斯;阿尔伯特·奥利弗拉斯;塞萨尔·蒂内利 47 2004 具有整数偏移量的同余闭包。 Zbl 1273.68326号 罗伯特·纽文胡斯;阿尔伯特·奥利弗拉斯 6 2003 连接运算符的实际扩展。 兹伯利0918.68134 Salembier，P。;奥利弗拉斯，A。 2 1996 所有引用出版物 排名前五的出版物 全部的 前5名685位作者引用 23 克拉克·W·巴雷特。 22 塞萨尔·蒂内利 21 克里斯托夫·韦登巴赫 20 安德鲁·雷诺兹 13 罗伯托·塞巴斯蒂亚尼 11 玛丽亚·保拉（Maria Paola Bonacina） 11 尤利亚·利勒 9 莱昂纳多·德·莫拉 8 罗伯特·纽文胡斯 7 贾斯敏·克里斯蒂安·布兰切特 7 马丁·布隆伯格 7 亚历山德罗·西马蒂 7 马丁·格布瑟 7 阿尔贝托·格里乔 7 彼得·詹姆斯·斯塔基 6 汤米·詹胡宁 6 林奇，因斯 6 Vasco M.Manquinho。 6 阿尔伯特·奥利弗拉斯 6 恩里克·罗德里格斯-卡博内尔 6 克里希南·苏布拉马尼 5 弗兰兹·巴德 5 哈尼尔·巴博萨 5 丹尼尔·贝伦德 5 尼古拉·S·比约纳。 5 米克尔波菲尔 5 帕斯卡·方丹 5 德扬·约瓦诺维奇 5 迪帕克·卡普尔 5 马可·马拉提亚 5 Joáo P.塞尔瓦侯爵。 5 安德烈斯·诺兹利 5 托尔斯滕·绍布（Torsten H.Schaub）。 5 托马斯·斯特姆 5 Yochai的Twitto 5 Wojciechowski，Piotr J。 4 罗伯特·布鲁托梅索 4 迈克尔·科迪什 4 卡明·多达罗 4 维杰·加内什 4 西尔维奥·吉拉尔迪 4 圣菲省格拉汉·伦格兰德 4 丹尼尔·科宁 4 很多，费利普 4 何塞·梅塞盖尔·瓜伊塔 4 西尔维奥·兰伊斯 4 斯特里赫曼（Ofer Strichman） 4 阿伦·斯塔姆 4 约塞普·苏伊 4 索菲·托雷特 4 帕特里克·特伦丁 4 马图·维拉雷特 三 卡洛斯·安索特吉 三 约塞普·阿格利奇 三 班科维奇，米兰 三 乔里·博曼森 三 布莱特，柯蒂斯 三 蔡少伟 三 乔迪·科尔 三 西蒙·德·吉夫里 三 戴维·戴哈贝 三 Deters，摩根 三 大卫·L·迪尔。 三 穆纳乔·埃切宁 三 马蒂亚斯·弗勒里 三 马丁·范策尔 三 戈兰，沙哈尔 三 贾马尔·哈贝特 三 Jochen Hoenicke公司 三 穆阿·约翰逊 三 安迪·金 三 康斯坦丁·科洛文 三 科齐里亚斯（Ilias S.Kotsireas）。 三 基里恩·克莱默 三 哈维尔·拉罗萨 三 李楚敏 三 菲利普·马里奇 三 艾娜·尼梅茨 三 Peter W.南丁格尔。 三 乔迪，飞机 三 马蒂亚斯·普雷纳 三 阿尔伯特·鲁比奥 三 娜塔莎·莎莉吉娜 三 宋晓宇 三 安德烈·沃伦科夫 三 你，嘉慧 三 张燕 三 尤尼·佐哈尔 2 艾丽卡·阿尔布拉汉姆 2 安德烈·阿布拉梅 2 弗朗西斯科·阿尔贝蒂 2 马里奥·阿尔维亚诺 2 奥费尔·阿列利 2 罗伯托·阿辛 2 克什蒂吉·班萨尔 2 阿明·比尔 2 阮晋平 2 博加茨，巴特 2 斯特凡·博格沃德 2 克里斯蒂娜·博拉莱拉斯 …和585多位作者 全部的 前5名50篇连载文章中引用 41 自动推理杂志 23 逻辑程序设计理论与实践 21 人工智能 19 系统设计中的形式化方法 16 约束条件 9 数学与人工智能年鉴 8 理论计算机科学 6 符号计算杂志 5 ACM计算逻辑事务 5 计算机科学中的逻辑方法 4 计算机科学中的数学 三 信息与计算 三 计算机与运筹学 三 人工智能通信 三 运筹学年鉴 三 离散优化 三 可满足性、布尔建模与计算杂志 2 信息学报 2 信息处理信件 2 计算机与系统科学杂志 2 计算机科学与技术杂志 2 算法 2 国际近似推理杂志 2 计算的形式方面 2 欧洲运筹学杂志 2 计算系统理论 2 组合优化期刊 2 逻辑与代数程序设计杂志 2 应用逻辑杂志 2 优化信函 2 程序设计中的逻辑和代数方法杂志 1 计算与应用数学杂志 1 圣母院形式逻辑杂志 1 SIAM计算机杂志 1 计算机程序设计科学 1 MSCS公司。计算机科学中的数学结构 1 全球优化杂志 1 数学编程。A系列B系列 1 数学成像与视觉杂志 1 顶部 1 人工智能研究杂志 1 启发式杂志 1 计算机基础理论 1 系统科学与复杂性杂志 1 应用数学杂志 1 机器学习研究杂志（JMLR） 1 浙江大学学报。科学A 1 数学规划计算 1 中欧计算机科学杂志 1 伊尔库茨科戈大学。马特马提卡丝里亚 全部的 前5名21个领域被引用 341 计算机科学（68至XX） 88 数学逻辑和基础（03-XX） 53 运筹学、数学规划（90-XX） 8 信息与通信理论、电路（94-XX） 6 组合数学（05-XX） 5 生物学和其他自然科学（92-XX） 三 数值分析（65-XX） 三 系统理论；控制（93至XX） 2 交换代数（13-XX） 2 常微分方程（34-XX） 2 博弈论、经济学、金融和其他社会和行为科学（91-XX） 1 总体主题；集合（00-XX） 1 历史和传记（01-XX） 1 一般代数系统（08-XX） 1 代数几何（14-XX） 1 线性代数和多线性代数；矩阵理论（15-XX） 1 范畴理论；同调代数（18-XX） 1 动力系统和遍历理论（37至XX） 1 概率论与随机过程（60-XX） 1 统计学（62-XX） 1 数学教育（97-XX） 按年份列出的引文