编辑配置文件(在新选项卡中打开) 贝特朗·马祖尔 合著者距离 作者ID: 马祖雷·伯特朗 发布日期: 贝特朗·马祖尔;Mazure,B。 已编制索引的文档: 16出版物自1998年以来 1名编辑贡献 合著者: 17合著者具有17联合出版物 95位合作作者 全部的 前5名合著者 0 单作者的 12 埃里克·格雷戈里 8 拉赫达尔·塞伊斯 4 塞德里克馅饼 三 Jean-Marie拉格尼茨 2 吉尔·奥德玛 2 奥利维尔·福德里诺伊 2 理查德·奥斯特罗斯基 1 巴拉西姆·萨迪 1 莱马Boumazouza 1 Fahima Cheikh-Alili 1 Jean-François康多塔 1 西尔万·达拉斯 1 吉尔·迪肯 1 劳雷·德文德维尔 1 雅库布Salhi 1 Michael Sioutis先生 1 卡里姆·塔比亚 系列 三 约束条件 2 数学与人工智能年鉴 1 信息科学 1 欧洲运筹学杂志 字段 15 计算机科学(68-XX) 4 运筹学、数学规划(90-XX) 1 总体主题;集合(00-XX) 1 数学逻辑和基础(03-XX) 按年份列出的出版物 所有引用出版物 排名前五的出版物 zbMATH Open中包含的引文 13出版物有被引用64中的次51文件 引用人▼ 年份▼ 得益于本地搜索方法,提升了完整的技术。 Zbl 0905.68143号 贝特朗·马祖尔;拉赫达尔·塞伊斯;埃里克·格雷戈里 15 1998 使用本地搜索查找MSSe和MUSe。 Zbl 1176.90410号 埃里克·格雷戈里;贝特朗·马祖尔;塞德里克·皮特 12 2009 mUS的局部搜索提取。 兹比尔1211.90307 埃里克·格雷戈伊尔;贝特朗·马祖尔;塞德里克馅饼 10 2007 必须:提供不满足的详细解释。 Zbl 1145.68516号 埃里克·格雷戈里;贝特朗·马祖尔;塞德里克馅饼 6 2007 消除SAT实例中的冗余子句。 Zbl 1214.68333号 奥利维尔·福德里诺伊;埃里克·格雷戈里;贝特朗·马祖尔;拉赫达尔·塞伊斯 5 2007 自动提取功能依赖项。 Zbl 1122.68597号 埃里克·格雷戈里;理查德·奥斯特罗斯基;贝特朗·马祖尔;拉赫达尔·塞伊斯 4 2005 冻结和重新激活所学的子句。 Zbl 1330.68267号 吉尔·奥德玛;Jean-Marie拉格尼茨;贝特朗·马祖尔;拉赫达尔·塞伊斯 4 2011 得益于cdcl公司. Zbl 1306.68138号 吉尔·奥德玛;Jean-Marie拉格尼茨;贝特朗·马祖尔;拉赫达尔·塞伊斯 三 2010 关于一阶分层知识型决策支持系统的增量验证。 Zbl 1033.68106号 埃里克·格雷戈里;贝特朗·马祖尔 1 2002 这组条款是否与至少一个MUS重叠? Zbl 1250.68234号 埃里克·格雷戈里;贝特朗·马祖尔;塞德里克·皮特 1 2009 使用失败的SAT本地搜索作为更有效地解决更困难的AI问题的预言。 兹比尔1020.68512 埃里克·格雷戈伊尔;贝特朗·马祖尔;拉赫达尔·塞伊斯 1 2002 使用布尔约束传播进行子子句推导。 Zbl 1153.68456号 达拉斯,S。;邓肯(G.Dequen)。;德文德维尔,L。;Mazure,B。;R.奥斯特罗斯基。;塞伊斯,L。 1 2005 反事实解释的象征方法。 Zbl 1517.68325号 莱马Boumazouza;Fahima Cheikh-Alili;贝特朗·马祖尔;卡里姆·塔比亚 1 2020 反事实解释的象征方法。 Zbl 1517.68325号 莱马Boumazouza;Fahima Cheikh-Alili;贝特朗·马祖尔;卡里姆·塔比亚 1 2020 冻结和重新激活所学的子句。 Zbl 1330.68267号 吉尔·奥德玛;Jean-Marie拉格尼茨;贝特朗·马祖尔;拉赫达尔·塞伊斯 4 2011 得益于cdcl公司. Zbl 1306.68138号 吉尔·奥德玛;Jean-Marie拉格尼茨;贝特朗·马祖尔;拉赫达尔·塞伊斯 三 2010 使用本地搜索查找MSSe和MUSe。 Zbl 1176.90410号 埃里克·格雷戈里;贝特朗·马祖尔;塞德里克·皮特 12 2009 这组条款是否与至少一个MUS重叠? 兹比尔1250.68234 埃里克·格雷戈伊尔;贝特朗·马祖尔;塞德里克馅饼 1 2009 mUS的局部搜索提取。 Zbl 1211.90307号 埃里克·格雷戈里;贝特朗·马祖尔;塞德里克馅饼 10 2007 必须:提供不满足的详细解释。 Zbl 1145.68516号 埃里克·格雷戈里;贝特朗·马祖尔;塞德里克馅饼 6 2007 消除SAT实例中的冗余子句。 Zbl 1214.68333号 奥利维尔·福德里诺伊;埃里克·格雷戈里;贝特朗·马祖尔;拉赫达尔·塞伊斯 5 2007 自动提取功能依赖项。 Zbl 1122.68597号 埃里克·格雷戈里;理查德·奥斯特罗斯基;贝特朗·马祖尔;拉赫达尔·塞伊斯 4 2005 使用布尔约束传播进行子子句推导。 Zbl 1153.68456号 达拉斯,S。;邓肯(G.Dequen)。;德文德维尔,L。;Mazure,B。;R.奥斯特罗斯基。;塞伊斯,L。 1 2005 关于一阶分层知识型决策支持系统的增量验证。 Zbl 1033.68106号 埃里克·格雷戈里;贝特朗·马祖尔 1 2002 使用失败的SAT本地搜索作为神谕,更有效地解决棘手的A.I.问题。 Zbl 1020.68512号 埃里克·格雷戈伊尔;伯特兰,马祖尔;拉赫达尔·塞伊斯 1 2002 得益于本地搜索方法,提升了完整的技术。 Zbl 0905.68143号 贝特朗·马祖尔;拉赫达尔·塞伊斯;埃里克·格雷戈里 15 1998 所有引用出版物 排名前五的出版物 全部的 前5名103位作者引用 9 埃里克·格雷戈里 6 Joáo P.塞尔瓦侯爵。 6 贝特朗·马祖尔 5 拉赫达尔·塞伊斯 三 赛义德·贾布尔 三 刘伟如 三 林奇,因斯 三 塞德里克馅饼 2 菲利普·加利尼尔 2 尤塞夫·哈马迪 2 阿兰·赫兹 2 凯文·麦克拉维 2 穆克甸 2 维克多·舒潘 2 斯特里赫曼(Ofer Strichman) 2 张杜 1 巴拉西姆·萨迪 1 塔斯尼姆·纳赛尔·叶海亚 1 扎赫·安德劳斯(Zaher S.Andraus)。 1 克劳迪奥·安吉奥内 1 米盖尔·安霍斯(Miguel F.Anjos)。 1 大卫·A·贝尔。 1 安东·贝洛夫 1 法国布赛马 1 劳雷·布里苏 1 罗伯特·布鲁托梅索 1 蔡少伟 1 凯斯,基思 1 费德里科·塞鲁蒂 1 劳伦斯·霍尔维 1 肖恩·科克伦 1 夏尔帕·达尼 1 西蒙·德·吉夫里 1 吉尔·迪肯 1 Desrosiers,克里斯蒂安 1 托马斯·德拉斯克 1 奥利维尔·杜波伊斯 1 Jean-François Dufourd 1 穆罕默德·埃尔巴奇尔·梅奈 1 埃塞特·维拉德,C。 1 法吉尔,Hélène 1 奥利维尔·福德里诺伊 1 尤金·弗洛伊德。 1 詹姆斯,高 1 罗曼·格什曼 1 马西米利亚诺·贾科明 1 恩里科Giunchilia 1 尤金·戈德伯格。 1 阿尔贝托·格里乔 1 詹妮弗·哈丁 1 弗雷德·海默里 1 安东尼·亨特 1 阿列克谢·伊格纳提耶夫(Alexey A.Ignatyev)。 1 亚辛·伊扎 1 米科拉什·亚诺塔 1 金、智 1 亨利·考茨。 1 玛雅·科夫曼 1 塞巴斯蒂安·科尼埃奇尼 1 Jean-Marie拉格尼茨 1 杰罗姆·朗 1 克利斯朵夫·勒库特 1 弗洛里安·莱托姆 1 李铁军 1 马克·利菲顿(Mark H.Liffiton)。 1 马可凡 1 皮埃尔·侯爵 1 Kuldeep S.梅尔。 1 马赫·姆奈姆 1 亚历山大·纳德尔 1 马西莫·纳里扎诺 1 朱塞佩·尼科西亚 1 安娜丽莎·奥奇芬蒂 1 哦,Chanseok 1 帕罗兹,桑德琳 1 劳伦特·佩鲁塞尔 1 Phan,Quoc-Sang先生 1 托拜厄斯·菲利普 1 普拉特、塞德里克 1 尼古拉斯·普雷沃特 1 西蒙·富尔维奥·罗里尼 1 瓦迪姆·里夫钦 1 卡伦·萨卡拉。 1 雅库布Salhi 1 帕斯卡·施雷克 1 罗伯托·塞巴斯蒂亚尼 1 巴特·塞尔曼 1 娜塔莎·莎莉吉娜 1 索斯,马特 1 阿曼多·塔切拉 1 Jean-Marc Thévenin女士 1 西尔维娅·托马西 1 Trong-Hieu Tran公司 1 阿里亚克西·齐托维奇 1 毛罗·瓦拉蒂 1 汉斯·范马伦 1 Moshe Ya’akov瓦尔迪 1 曼努埃尔·V·C·维埃拉。 1 汤姆·沃纳 1 Siert Wieringa公司 …还有3位作者 全部的 前5名20篇连载文章中引用 6 人工智能 5 约束条件 三 离散应用数学 三 国际近似推理杂志 三 国际语义计算杂志 2 系统设计中的形式化方法 1 信息科学 1 理论计算机科学 1 计算机程序设计科学 1 国际生产研究杂志 1 计算机科学与技术杂志 1 自动推理杂志 1 国际智能系统杂志 1 运筹学年鉴 1 人工智能研究杂志 1 数学与人工智能年鉴 1 组合优化期刊 1 4OR(或) 1 ACM实验算法杂志 1 可满足性、布尔建模与计算杂志 全部的 前5名在6个字段中引用 45 计算机科学(68-XX) 12 运筹学、数学规划(90-XX) 6 数学逻辑和基础(03-XX) 1 组合数学(05-XX) 1 博弈论、经济学、金融和其他社会和行为科学(91-XX) 1 信息与通信理论、电路(94-XX) 按年份列出的引文