编辑配置文件(在新选项卡中打开) 吉勒·奥德玛 合著者距离 作者ID: audemard.gilles公司 发布日期: 吉尔·奥德玛;奥德马尔,G。 编入索引的文档: 20出版物自2000年起 合著者: 19位合著者具有20联合出版物 394位合作作者 全部的 前5名合著者 0 单作者的 6 拉赫达尔·塞伊斯 5 Laurent S.R.西蒙。 4 贝莱德·本哈莫 4 亚历山德罗·西马蒂 4 罗伯托·塞巴斯蒂亚尼 三 洛朗·海诺克 三 阿图尔·科尔尼·奥维茨 三 Jean-Marie拉格尼茨 2 皮耶乔治·贝尔托利 2 赛义德·贾布尔 2 贝特朗·马祖尔 1 卢卡斯·波尔多 1 马可·波扎诺 1 塞巴斯蒂安·费奇迈斯特 1 维杰·加内什 1 尤塞夫·哈马迪 1 扎克·纽瑟姆 1 洛伊奇·波列维 1 皮埃尔·西格尔 系列 1 算法杂志 1 自动推理杂志 领域 20 计算机科学(68至XX) 1 信息与通信理论、电路(94-XX) 按年份列出的出版物 所有引用出版物 前5名被引用出版物 zbMATH Open中包含的引文 18出版物有被引用128中的次109文件 引用人▼ 年份▼ 用假设改进葡萄糖用于增量SAT求解:应用于MUS提取。 Zbl 1390.68587号 吉尔·奥德玛;Jean-Marie拉格尼茨;洛朗·西蒙 23 2013 验证工业混合动力系统数学SAT. Zbl 1272.68220号 吉尔·奥德玛;马可·波扎诺;亚历山德罗·西马蒂;罗伯托·塞巴斯蒂亚尼 20 2005 基于SAT的布尔和线性数学命题公式求解方法。 兹比尔1072.68562 吉尔·奥德玛;皮耶乔治·贝尔托利;亚历山德罗·西马蒂;阿图尔·科尔尼·奥维茨;罗伯托·塞巴斯蒂亚尼 16 2002 定时系统的有界模型检验。 Zbl 1037.68549号 奥德马尔,G。;Cimatti,A。;科尔尼洛维奇(A.Kornilowicz)。;R·塞巴斯蒂亚尼。 14 2002 冲突分析的通用框架。 Zbl 1138.68485号 奥德马尔,G。;波尔多,L。;Y.哈马迪。;南卡罗来纳州贾布尔。;塞斯,L。 12 2008 社区结构对SAT求解器性能的影响。 Zbl 1423.68465号 扎克·纽瑟姆;维杰·加内什;塞巴斯蒂安·费奇迈斯特;吉尔·奥德玛;洛朗·西蒙 11 2014 并行SAT解算器的惰性子句交换策略。 Zbl 1423.68431号 吉尔·奥德玛;洛朗·西蒙 8 2014 有限模型生成中的对称推理和函数排序。 Zbl 1072.68561号 吉尔·奥德玛;本哈穆,贝莱德 4 2002 冻结和重新激活所学的子句。 Zbl 1330.68267号 吉尔·奥德玛;Jean-Marie拉格尼茨;贝特朗·马祖尔;拉赫达尔·塞伊斯 4 2011 eXtend最小数启发式。 Zbl 0988.68605号 吉勒·奥德玛;洛朗·海诺克 三 2001 得益于cdcl公司. Zbl 1306.68138号 吉尔·奥德玛;让-马里·拉格尼兹;贝特朗·马祖尔;拉赫达尔·塞伊斯 三 2010 在FOL有限模型搜索中预测和检测对称性。 Zbl 1107.68092号 吉尔·奥德玛;贝拉伊德·本哈穆;洛朗·海诺克 三 2006 AVAL:SAT的枚举方法。 Zbl 0983.68530号 吉尔·奥德玛;贝莱德·本哈莫;皮埃尔·西格尔 2 2000 基于符号搜索的量化布尔公式方法。 Zbl 1128.68451号 吉尔·奥德玛;拉赫达尔·塞伊斯 1 2005 集成布尔运算和数学求解:基础、基本算法和要求。 Zbl 1072.68603号 吉尔·奥德玛;皮耶乔治·贝尔托利;亚历山德罗·西马蒂;阿图尔·科尔尼·奥维茨;罗伯托·塞巴斯蒂亚尼 1 2002 SAT问题中的极端情况。 Zbl 1475.68333号 吉勒·奥德玛;洛朗·西蒙 1 2016 SAT遗产:由社区驱动,用于归档、构建和运行数千个SAT解算器。 Zbl 07331015号 吉尔·奥德玛;洛伊奇·波列维;洛朗·西蒙 1 2020 基于电路的CNF公式编码。 Zbl 1214.68341号 吉勒·奥德玛;拉赫达尔·塞伊斯 1 2007 SAT遗产:由社区驱动,用于归档、构建和运行数千个SAT解算器。 Zbl 07331015号 吉尔·奥德玛;洛伊奇·波列维;西蒙,劳伦特 1 2020 SAT问题中的极端情况。 Zbl 1475.68333号 吉尔·奥德玛;洛朗·西蒙 1 2016 社区结构对SAT求解器性能的影响。 Zbl 1423.68465号 扎克·纽瑟姆;维杰·加内什;塞巴斯蒂安·费奇迈斯特;吉尔·奥德玛;洛朗·西蒙 11 2014 并行SAT解算器的惰性子句交换策略。 Zbl 1423.68431号 吉尔·奥德玛;洛朗·西蒙 8 2014 通过假设提高血糖以解决递增SAT:应用于MUS提取。 Zbl 1390.68587号 吉尔·奥德玛;Jean-Marie拉格尼茨;洛朗·西蒙 23 2013 冻结和重新激活所学的子句。 Zbl 1330.68267号 吉尔·奥德玛;让-马里·拉格尼兹;贝特朗·马祖尔;拉赫达尔·塞伊斯 4 2011 得益于cdcl公司. Zbl 1306.68138号 吉尔·奥德玛;Jean-Marie拉格尼茨;贝特朗·马祖尔;赛义斯,拉赫达尔 三 2010 冲突分析的通用框架。 Zbl 1138.68485号 奥德马尔,G。;波尔多,L。;Y.哈马迪。;雅布尔,S。;塞斯,L。 12 2008 基于电路的CNF公式编码。 Zbl 1214.68341号 吉尔·奥德玛;拉赫达尔·塞伊斯 1 2007 在FOL有限模型搜索中预测和检测对称性。 Zbl 1107.68092号 吉尔·奥德玛;贝拉伊德·本哈穆;洛朗·海诺克 三 2006 验证工业混合动力系统数学SAT. Zbl 1272.68220号 吉尔·奥德玛;马可·波扎诺;亚历山德罗·西马蒂;罗伯托·塞巴斯蒂亚尼 20 2005 基于符号搜索的量化布尔公式方法。 Zbl 1128.68451号 吉尔·奥德玛;拉赫达尔·塞伊斯 1 2005 基于SAT的布尔和线性数学命题公式求解方法。 Zbl 1072.68562号 吉尔·奥德玛;皮耶乔治·贝尔托利;亚历山德罗·西马蒂;阿图尔·科尔尼·奥维茨;罗伯托·塞巴斯蒂亚尼 16 2002 定时系统的有界模型检验。 兹比尔1037.68549 奥德马尔,G。;A.西马蒂。;科尔尼洛维奇(A.Kornilowicz)。;R·塞巴斯蒂亚尼。 14 2002 有限模型生成中的对称推理和函数排序。 Zbl 1072.68561号 吉尔·奥德玛;贝莱德·本哈莫 4 2002 集成布尔和数学求解:基础、基本算法和要求。 Zbl 1072.68603号 吉尔·奥德玛;皮耶乔治·贝尔托利;亚历山德罗·西马蒂;阿图尔·科尔尼·奥维茨;罗伯托·塞巴斯蒂亚尼 1 2002 eXtend最小数启发式。 Zbl 0988.68605号 吉勒·奥德玛;洛朗·海诺克 三 2001 AVAL:SAT的枚举方法。 Zbl 0983.68530号 吉尔·奥德玛;贝莱德·本哈莫;皮埃尔·西格尔 2 2000 所有引用出版物 前5名被引用出版物 全部的 前5名226位作者引用 7 Joáo P.塞尔瓦侯爵。 6 马丁·范策尔 6 阿列克谢·伊格纳提耶夫(Alexey A.Ignatyev)。 5 亚历山德罗·西马蒂 5 拉赫达尔·塞伊斯 4 安德烈亚斯·艾格斯 4 赛义德·贾布尔 4 罗伯托·塞巴斯蒂亚尼 4 斯特里赫曼(Ofer Strichman) 4 蒂诺·特伊格 三 吉尔·奥德玛 三 贝莱德·本哈莫 三 维杰·加内什 三 阿尔贝托·格里乔 三 尤塞夫·哈马迪 三 Jean-Marie拉格尼茨 三 约尔迪·利维 三 塞尔吉奥·莫弗 三 斯特凡诺·托内塔 2 卡洛斯·安索特吉 2 巴哈雷赫巴德班 2 托马斯·巴利奥 2 阿米恩·比尔 2 卜、雷 2 费德里科·塞鲁蒂 2 Czarnecki、Krzysztof 2 埃格利,乌韦 2 罗伯特·加尼安 2 马西米利亚诺·贾科明 2 吉拉尔德斯·克鲁,杰苏斯 2 克里斯蒂安·赫尔德 2 马库斯·伊泽尔 2 汤米·A·琼蒂拉。 2 丹尼尔·科宁 2 李宣东 2 梁家辉 2 弗洛里安·朗辛 2 林奇,因斯 2 尤里·维亚切斯拉沃维奇(Yuri Malykhin) 2 瓦斯科·M·曼奎尼奥。 2 皮埃尔·侯爵 2 鲁本·马丁斯 2 安托尼奥·莫尔加多 2 尼古拉斯·佩尔蒂埃 2 亚历山德罗·普雷维蒂 2 尤西·林塔南 2 桑吉特·阿伦库马尔·塞希亚 2 叶甫根尼·维塔尔耶维奇 2 卡斯滕·辛兹 2 帕维尔·苏瑞克 2 斯泽德,斯特凡 2 西尔维娅·托马西 2 毛罗·瓦拉蒂 2 范·盖尔德,艾伦 1 苏米特·贾·安纳德 1 艾丽卡·阿尔布拉汉姆 1 安德烈·阿布拉梅 1 乔瓦尼·阿蒙多拉 1 哈桑·阿姆贾德 1 安东·安德烈库克 1 亚历山德罗·阿曼多 1 多尔·阿兹蒙 1 迪纳·巴拉克·佩利格 1 克拉克·W·巴雷特。 1 贝恩德·贝克尔 1 丹尼尔·贝伦德 1 马尔塞洛·玛丽亚·贝尔萨尼 1 托马斯·巴西乌斯 1 巴特·博加特 1 玛丽亚·路易莎·博内 1 卢卡斯·波尔多 1 帕特里夏·鲍耶 1 马可·波扎诺 1 罗伯特·布鲁托梅索 1 莫里斯·布吕诺格 1 Samuel R.巴斯。 1 蔡少伟 1 克劳迪奥·卡斯泰里尼 1 Chow,Choiwah先生 1 乔纳森·钟 1 阿德南·达尔维切 1 卡尔·Däubel 1 欧内斯特·戴维斯 1 戴维·戴哈贝 1 马克·德纳克 1 乔·德弗里安特 1 赫莱内·法吉尔 1 阿诺德·菲埃茨克 1 塞巴斯蒂安·费奇迈斯特 1 诺亚·弗莱明 1 帕斯卡·方丹 1 丹尼尔·弗里蒙特。 1 托拜厄斯·弗里德里希 1 安德烈亚斯·弗里奇(Andreas M.Fröhlich)。 1 Froleyks,尼尔斯 1 藤田,广岛 1 保罗·加斯丁 1 马丁·格布瑟 1 罗曼·格什曼 1 恩里科·金西格里亚 …还有126位作者 全部的 前5名28连载 16 人工智能 7 系统设计中的形式化方法 5 自动推理杂志 4 信息与计算 4 数学与人工智能年鉴 三 约束条件 三 可满足性、布尔建模与计算杂志 1 信息学报 1 理论计算机科学 1 计算机程序设计科学 1 符号计算杂志 1 离散和计算几何 1 国际近似推理杂志 1 计算的形式方面 1 运筹学年鉴 1 随机结构与算法 1 组合数学电子杂志 1 人工智能研究杂志 1 Doklady数学 1 动力系统的数学和计算机建模 1 逻辑与代数程序设计杂志 1 逻辑程序设计理论与实践 1 ACM计算逻辑事务 1 4OR(或) 1 应用逻辑杂志 1 计算机科学中的数学 1 优化信函 1 非线性分析。混合动力系统 全部的 前5名17个字段中引用 102 计算机科学(68至XX) 19 数学逻辑和基础(03-XX) 7 运筹学、数学规划(90-XX) 6 系统理论;控制(93至XX) 三 博弈论、经济学、金融和其他社会和行为科学(91-XX) 2 阶、格、有序代数结构(06-XX) 2 信息与通信理论、电路(94-XX) 1 总体主题;集合(00-XX) 1 组合数学(05-XX) 1 一般代数系统(08-XX) 1 数论(11-XX) 1 场论和多项式(12-XX) 1 范畴理论;同调代数(18-XX) 1 测量和集成(28-XX) 1 数值分析(65-XX) 1 粒子和系统力学(70-XX) 1 生物学和其他自然科学(92-XX) 按年份列出的引文