编辑配置文件（在新选项卡中打开） 哈维尔·拉罗萨 合著者距离 作者ID： 拉罗萨·贾维尔 发布日期： 哈维尔·拉罗萨；J·拉罗萨。 外部链接： 管理程序·维基数据 已编制索引的文档： 33出版物自1995年起 1名编辑贡献 合著者： 20位合著者具有32联合出版物 393合著作者 全部的 前5名合著者 1 单作者的 8 佩德罗·梅塞盖尔 6 费德里科·赫拉斯 6 爱玛·罗伦 5 丽娜·德希特 4 卡列夫·卡斯克 4 阿尔伯特·奥利弗拉斯 4 托马斯·希克斯 三 西蒙·德·吉夫里 三 恩里克·罗德里格斯-卡博内尔 三 马蒂·桑切斯 2 克里斯蒂安·贝西尔 2 尤金·弗洛伊德。 2 罗伯特·纽文胡斯 1 斯蒂法诺·比斯塔雷利 1 科尔特斯，尤利西斯 1 阿维·德希特 1 法比奥·加杜奇 1 E.莫兰乔。 1 D.尼索。 1 古斯塔沃·努内兹 1 巴里·奥沙利文 1 加布里埃尔·瓦连特 全部的 前5名系列 5 人工智能 三 人工智能研究杂志 2 启发式杂志 2 约束条件 1 计算机与系统科学杂志 1 自动推理杂志 1 国际智能系统杂志 1 逻辑与计算杂志 1 MSCS公司。计算机科学中的数学结构 1 计算机科学课堂讲稿 1 可满足性、布尔建模与计算杂志 领域 30 计算机科学（68至XX） 10 运筹学、数学规划（90-XX） 4 数学逻辑和基础（03-XX） 1 总体主题；集合（00-XX） 按年份列出的出版物 所有引用出版物 前5名被引用出版物 zbMATH Open中包含的引文 29出版物有被引用339中的次244文件 引用人▼ 年份▼ 在约束优化和约束满足问题中使用变量消除来推进搜索。 兹伯利1057.68114 哈维尔·拉罗萨；丽娜·德希特 105 2003 Minimaxsat：一种高效的加权Max-SAT解算器。 Zbl 1183.68578号 赫拉斯，F。；J·拉罗萨。；奥利弗拉斯，A。 34 2008 通过保持电弧一致性解决加权CSP。 Zbl 1086.68592号 哈维尔·拉罗萨；托马斯·希克斯 31 2004 高效Max-SAT求解的逻辑方法。 Zbl 1182.68253号 哈维尔·拉罗萨；费德里科·赫拉斯；西蒙·德·吉夫里 24 2008 将Max-SAT求解为加权CSP。 Zbl 1273.68368号 西蒙·德·吉夫里；哈维尔·拉罗萨；佩德罗·梅塞盖尔；托马斯·希克斯 23 2003 图模式匹配的约束满足算法。 Zbl 1009.68103号 哈维尔·拉罗萨；加布里埃尔·瓦连特 16 2002 关于变量消除在约束优化问题中的实际应用：以“静态生活”为例进行研究。 Zbl 1081.90074号 J·拉罗萨。；E.莫兰乔。；D.尼索。 13 2005 统一图形模型中推理的树分解。 Zbl 1132.68680号 卡列夫·卡斯克；丽娜·德希特；哈维尔·拉罗萨；阿维·德希特 12 2005 加权CSP中的局部一致性和Max-SAT中的推理。 Zbl 1153.68463号 费德里科·赫拉斯；哈维尔·拉罗萨 12 2005 维护Max-CSP的可逆DAC。 Zbl 0911.68064号 哈维尔·拉罗萨；佩德罗·梅塞盖尔；托马斯·希克斯 10 1999 通过变量消除提高搜索速度。 Zbl 1044.68777号 哈维尔·拉罗萨 9 2000 2006年和2007年Max-SAT评估：贡献实例。 Zbl 1159.68565号 费德里科·赫拉斯；哈维尔·拉罗萨；西蒙·德·吉夫里；托马斯·希克斯 8 2008 关于非二进制约束满足的正向检查。 Zbl 1043.68090号 克里斯蒂安·贝西埃；佩德罗·梅塞盖尔；尤金·弗洛伊德。；哈维尔·拉罗萨 8 2002 更好地理解（部分加权）MaxSAT证明系统。 Zbl 07331023号 哈维尔·拉罗萨；爱玛·罗伦 7 2020 基于DAC的WCSP求解器中的智能变量排序和重新排序。 Zbl 1125.90041号 费德里科·赫拉斯；哈维尔·拉罗萨 6 2006 多目标优化问题的桶消元法。 Zbl 1125.90046号 爱玛·罗隆；哈维尔·拉罗萨 5 2006 约束优化中多重下界计算的一种通用方案。 Zbl 1067.68623号 丽娜·德希特；卡列夫·卡斯克；哈维尔·拉罗萨 5 2001 关于非二进制约束满足的正向检查。 Zbl 0957.68104号 克里斯蒂安·贝西埃；佩德罗·梅塞盖尔；尤金·弗洛伊德。；哈维尔·拉罗萨 4 1999 Max-CSP的基于分区的下限。 Zbl 1028.68156号 哈维尔·拉罗萨；佩德罗·梅塞盖尔 三 2002 用于认证布尔分支定界优化的框架。 Zbl 1213.68581号 哈维尔·拉罗萨；罗伯特·纽文胡斯；阿尔伯特·奥利弗拉斯；恩里克·罗德里格斯-卡博内尔 三 2011 用于布尔优化和生成优化证书的分支和绑定。 Zbl 1247.68255号 哈维尔·拉罗萨；罗伯特·纽文胡斯；阿尔伯特·奥利弗拉斯；恩里克·罗德里格斯-卡博内尔 2 2009 半环诱导命题逻辑：定义和基本算法。 Zbl 1284.03209号 哈维尔·拉罗萨；阿尔伯特·奥利弗拉斯；恩里克·罗德里格斯-卡博内尔 2 2010 基于Max-SAT推断的Max-Clique预处理。 Zbl 1138.68541号 费德里科·赫拉斯；哈维尔·拉罗萨 2 2008 非二进制约束优化问题的下限。 Zbl 1067.68656号 佩德罗·梅塞盖尔；哈维尔·拉罗萨；马蒂·桑切斯 2 2001 通过桶传播消除小型桶。 Zbl 1160.68562号 爱玛·罗伦；哈维尔·拉罗萨 2 2006 多目标优化的软方法。 Zbl 1185.90169号 斯蒂法诺·比斯塔雷利；法比奥·加杜奇；哈维尔·拉罗萨；爱玛·罗伦 1 2008 与/或最佳优先搜索的子问题排序启发式。 Zbl 1390.68602号 威廉·林；卡列夫·卡斯克；哈维尔·拉罗萨；丽娜·德希特 1 2018 在对图形模型进行“与/或”搜索时，以残差为导向进行前瞻。 Zbl 1418.68188号 威廉·林；卡列夫·卡斯克；哈维尔·拉罗萨；丽娜·德希特 1 2017 深度-第一个迷你水桶消除。 Zbl 1153.68484号 爱玛·罗伦；哈维尔·拉罗萨 1 2005 更好地理解（部分加权）MaxSAT证明系统。 Zbl 07331023号 哈维尔·拉罗萨；爱玛·罗伦 7 2020 与/或最佳优先搜索的子问题排序启发式。 Zbl 1390.68602号 威廉·林；卡列夫·卡斯克；哈维尔·拉罗萨；丽娜·德希特 1 2018 在对图形模型进行“与/或”搜索时，以残差为导向进行前瞻。 Zbl 1418.68188号 威廉·林；卡列夫·卡斯克；哈维尔·拉罗萨；丽娜·德希特 1 2017 用于认证布尔分支定界优化的框架。 Zbl 1213.68581号 哈维尔·拉罗萨；罗伯特·纽文胡斯；阿尔伯特·奥利弗拉斯；恩里克·罗德里格斯-卡博内尔 三 2011 半环诱导命题逻辑：定义和基本算法。 Zbl 1284.03209号 哈维尔·拉罗萨；阿尔伯特·奥利弗拉斯；恩里克·罗德里格斯-卡博内尔 2 2010 用于布尔优化和生成优化证书的分支和绑定。 Zbl 1247.68255号 哈维尔·拉罗萨；罗伯特·纽文胡斯；阿尔伯特·奥利弗拉斯；恩里克·罗德里格斯-卡博内尔 2 2009 Minimaxsat：一种高效的加权Max-SAT解算器。 Zbl 1183.68578号 赫拉斯，F。；J·拉罗萨。；奥利弗拉斯，A。 34 2008 高效Max-SAT求解的逻辑方法。 Zbl 1182.68253号 哈维尔·拉罗萨；费德里科·赫拉斯；西蒙·德·吉夫里 24 2008 2006年和2007年Max-SAT评估：贡献实例。 Zbl 1159.68565号 费德里科·赫拉斯；哈维尔·拉罗萨；西蒙·德·吉夫里；托马斯·希克斯 8 2008 基于Max-SAT推断的Max-Clique预处理。 Zbl 1138.68541号 费德里科·赫拉斯；哈维尔·拉罗萨 2 2008 多目标优化的软方法。 Zbl 1185.90169号 斯蒂法诺·比斯塔雷利；法比奥·加杜奇；哈维尔·拉罗萨；爱玛·罗伦 1 2008 基于DAC的WCSP求解器中的智能变量排序和重新排序。 Zbl 1125.90041号 费德里科·赫拉斯；哈维尔·拉罗萨 6 2006 多目标优化问题的桶消元法。 Zbl 1125.90046号 爱玛·罗隆；哈维尔·拉罗萨 5 2006 通过桶传播消除小型桶。 Zbl 1160.68562号 爱玛·罗伦；哈维尔·拉罗萨 2 2006 关于变量消除在约束优化问题中的实际应用：以“静态生活”为例进行研究。 Zbl 1081.90074号 J·拉罗萨。；E.莫兰乔。；D.尼索。 13 2005 统一图形模型中推理的树分解。 Zbl 1132.68680号 卡列夫·卡斯克；丽娜·德希特；哈维尔·拉罗萨；阿维·德希特 12 2005 加权CSP中的局部一致性和Max-SAT中的推理。 Zbl 1153.68463号 费德里科·赫拉斯；哈维尔·拉罗萨 12 2005 深度-第一个迷你水桶消除。 Zbl 1153.68484号 爱玛·罗伦；哈维尔·拉罗萨 1 2005 通过保持电弧一致性解决加权CSP。 Zbl 1086.68592号 哈维尔·拉罗萨；托马斯·希克斯 31 2004 在约束优化和约束满足问题中使用变量消除来推进搜索。 兹伯利1057.68114 哈维尔·拉罗萨；丽娜·德希特 105 2003 将Max-SAT求解为加权CSP。 Zbl 1273.68368号 西蒙·德·吉夫里；哈维尔·拉罗萨；佩德罗·梅塞盖尔；托马斯·希克斯 23 2003 图模式匹配的约束满足算法。 Zbl 1009.68103号 哈维尔·拉罗萨；加布里埃尔·瓦连特 16 2002 关于非二进制约束满足的正向检查。 Zbl 1043.68090号 克里斯蒂安·贝西埃；佩德罗·梅塞盖尔；尤金·弗洛伊德。；哈维尔·拉罗萨 8 2002 Max-CSP的基于分区的下限。 Zbl 1028.68156号 哈维尔·拉罗萨；佩德罗·梅塞盖尔 三 2002 约束优化中多重下界计算的一种通用方案。 Zbl 1067.68623号 丽娜·德希特；卡列夫·卡斯克；哈维尔·拉罗萨 5 2001 非二进制约束优化问题的下限。 Zbl 1067.68656号 佩德罗·梅塞盖尔；哈维尔·拉罗萨；马蒂·桑切斯 2 2001 通过变量消除提高搜索速度。 Zbl 1044.68777号 哈维尔·拉罗萨 9 2000 维护Max-CSP的可逆DAC。 Zbl 0911.68064号 哈维尔·拉罗萨；佩德罗·梅塞盖尔；托马斯·希克斯 10 1999 关于非二进制约束满足的正向检查。 Zbl 0957.68104号 克里斯蒂安·贝西埃；佩德罗·梅塞盖尔；尤金·弗洛伊德。；哈维尔·拉罗萨 4 1999 所有引用出版物 前5名被引用出版物 全部的 前5名464位作者引用 11 西蒙·德·吉夫里 11 丽娜·德希特 11 托马斯·希克斯 10 马丁·库珀。 10 很多，费利普 9 哈维尔·拉罗萨 7 李楚敏 6 丹尼尔·贝伦德 6 克里斯蒂安·贝西尔 6 若昂·席尔瓦侯爵。 6 斯坦尼斯拉夫·伊文 5 阿洛奇，大卫 5 卡洛斯·安索特吉 5 吉安路易吉·格雷科 5 贾马尔·哈贝特 5 李，吉米·霍曼 5 乔迪，飞机 5 Yochai Twitto 4 约塞普·阿格利奇 4 乔治·戈特洛布 4 费德里科·赫拉斯 4 彼得·杰文斯（Peter G.Jeavons）。 4 约尔迪·利维 4 拉杜·马里内斯库 4 Amnon Meisels公司 4 马利克·穆胡布 4 罗伯特·纽文胡斯 4 克莉丝汀·索尔农 4 尼克·威尔逊 三 帕特里斯·博伊祖马尔 三 本克，霍斯特 三 穆罕默德·萨米·谢里夫 三 大卫·A·科恩。 三 伊夫·迪维尔 三 赫莱内·法吉尔 三 戈兰，沙哈尔 三 乔治·卡特西雷洛斯 三 克利斯朵夫·勒库特 三 萨米尔·卢德尼 三 巴里·奥沙利文 三 卢梭，路易斯·马汀 三 弗朗西斯科·斯卡切罗 三 彼得·詹姆斯·斯塔基 三 帕维尔·苏瑞克 三 莫西·亚亚科夫·瓦尔迪 三 托马斯·沃纳 三 圣菲省赞佩利 三 马蒂亚斯·兹特尼基 2 艾布拉梅，安德烈 2 奥费尔·阿列利 2 苏菲·芭比 2 罗马人Barták 2 贝莱德·本哈莫 2 Lars Birkedal公司 2 米克尔波菲尔 2 玛丽亚·路易莎·博内 2 安德烈·布拉托夫。 2 迪亚戈·西富恩特斯 2 乔迪·科尔 2 Cymer，Radosław公司 2 特洛伊尔斯·克里斯托弗·丹加德 2 汉斯·德·尼维尔 2 彼得·迪金森（Peter J.C.Dickinson）。 2 托马斯·艾特 2 塞萨尔·费尔南德斯。 2 尤金·弗洛伊德。 2 乔尔·加布 2 马丁·盖布瑟 2 恩里科·金西格里亚 2 阿恩·约翰·格伦斯特鲁普 2 卡拉·戈麦斯。 2 里卡多·贡萨阿尔维斯 2 格里姆斯、迪尔米德 2 菲利普·杰古 2 卡列夫·卡斯克 2 克诺尔，马蒂亚斯 2 库泽·埃尔卡，Ondřej 2 约昂·莱特 2 梁家伦 2 林奇，因斯 2 Vasco M.Manquinho。 2 马可·马拉提亚 2 罗伯特·马泰斯库 2 罗宾·米尔纳 2 穆罕默德·乌尔德 2 阿尔伯特·奥利弗拉斯 2 帕特里克·R·J·奥斯特格德。 2 巴勃罗·帕里洛。 2 吉尔斯·佩森特 2 皮·马蒂厄 2 恩里克·罗德里格斯-卡博内尔 2 爱玛·罗伦 2 阿什什·萨巴沃尔 2 米盖尔·安杰尔·萨利多 2 马蒂·桑切斯 2 托尔斯滕·绍布（Torsten H.Schaub）。 2 科斯塔斯·斯特乔 2 西里尔·特里奥克斯 2 威廉·扬·范霍夫 2 Vesa P.瓦斯克莱宁。 …还有364位作者 全部的 前5名55篇连载文章中引用 40 约束条件 38 人工智能 13 数学与人工智能年鉴 8 运筹学年鉴 6 启发式杂志 4 计算机与系统科学杂志 4 自动推理杂志 三 应用数学与计算 三 国际近似推理杂志 三 机器学习 三 人工智能研究杂志 三 离散优化 三 SN运营研究论坛 2 信息科学 2 SIAM计算机杂志 2 SIAM离散数学杂志 2 计算的形式方面 2 AI通信 2 欧洲运筹学杂志 2 模式识别 2 组合优化期刊 2 国际应用数学与计算机科学杂志 2 逻辑程序设计理论与实践 2 JMMA公司。数学建模与算法杂志 2 ACM计算逻辑事务 2 应用逻辑杂志 2 优化信函 2 计算机科学中的逻辑方法 1 离散应用数学 1 离散数学 1 物理A 1 计算与应用数学杂志 1 哲学逻辑杂志 1 麦加尼卡 1 理论计算机科学 1 运营研究信件 1 计算机科学与技术杂志 1 信息与计算 1 计算机与运筹学 1 经济动力学与控制杂志 1 吉泰。实验与理论人工智能杂志 1 国际计算机科学基础杂志 1 全球优化杂志 1 数学编程。A系列B系列 1 美国医学会杂志 1 苯乙酸。模式分析与应用 1 澳大利亚和新西兰统计杂志 1 整数序列杂志 1 CEJOR公司。中欧运筹学杂志 1 机器学习研究杂志（JMLR） 1 4OR（或） 1 国际量子信息杂志 1 计算机科学中的数学 1 可满足性、布尔建模与计算杂志 1 SIAM应用代数和几何杂志 全部的 前5名22个领域被引用 186 计算机科学（68至XX） 88 运筹学、数学规划（90-XX） 17 组合数学（05-XX） 13 数学逻辑和基础（03-XX） 7 博弈论、经济学、金融和其他社会和行为科学（91-XX） 6 生物学和其他自然科学（92-XX） 5 一般代数系统（08-XX） 5 统计学（62-XX） 三 交换代数（13-XX） 三 数值分析（65-XX） 2 有序，格，有序代数结构（06-XX） 2 结合环与代数（16-XX） 2 概率论与随机过程（60-XX） 1 总体主题；集合（00-XX） 1 代数几何（14-XX） 1 常微分方程（34-XX） 1 变分法与最优控制；最优化（49至XX） 1 凸和离散几何（52-XX） 1 可变形固体力学（74-XX） 1 量子理论（81-XX） 1 统计力学，物质结构（82-XX） 1 信息与通信理论、电路（94-XX） 按年份列出的引文 Wikidata时间线 数据显示为存储在Wikidata中的Creative Commons CC0许可证.应进行更新和更正在Wikidata中.