×
作者ID: 马祖雷·伯特朗“Mazure,Bertrand”最近发表的zbMATH文章
发布日期: 贝特朗·马祖尔;Mazure,B。
已编制索引的文档: 16出版物自1998年以来
1名编辑贡献
合著者: 17合著者具有17联合出版物
95位合作作者

按年份列出的出版物

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位作者

按年份列出的引文