编辑配置文件(在新选项卡中打开) 塞德里克馅饼 合著者距离 作者ID: 皮埃特曲面 发布日期: 塞德里克馅饼;皮埃特,塞德里克 已编制索引的文档: 6出版物自2007年起 合著者: 5位合著者具有6联合出版物 74位合作作者 合著者 0 单作者的 4 埃里克·格雷戈里 4 贝特朗·马祖尔 2 尤塞夫·哈马迪 2 拉赫达尔·塞伊斯 1 赛义德·贾布尔 系列 1 欧洲运筹学杂志 1 约束条件 1 可满足性、布尔建模与计算杂志 领域 5 计算机科学(68至XX) 2 运筹学、数学规划(90-XX) 按年份列出的出版物 所有引用的出版物 前5名被引用出版物 zbMATH Open中包含的引文 6出版物有被引用34中的次27文件 引用人▼ 年份▼ 使用本地搜索查找MSSe和MUSe。 Zbl 1176.90410号 埃里克·格雷戈里;贝特朗·马祖尔;塞德里克馅饼 12 2009 mUS的局部搜索提取。 Zbl 1211.90307号 埃里克·格雷戈里;贝特朗·马祖尔;塞德里克馅饼 10 2007 必须:提供不满足的详细解释。 Zbl 1145.68516号 埃里克·格雷戈里;贝特朗·马祖尔;塞德里克馅饼 6 2007 确定性并行DPLL。 Zbl 1331.68208号 尤塞夫·哈马迪;赛义德·贾布尔;皮埃特,塞德里克;拉赫达尔·赛斯 三 2011 MUS计算决策过程的有效组合。 Zbl 1193.68226号 塞德里克馅饼;尤塞夫·哈马迪;拉赫达尔·塞伊斯 2 2009 这组条款是否与至少一个MUS重叠? Zbl 1250.68234号 埃里克·格雷戈里;贝特朗·马祖尔;塞德里克馅饼 1 2009 确定性并行DPLL。 Zbl 1331.68208号 尤塞夫·哈马迪;赛义德·贾布尔;皮埃特,塞德里克;拉赫达尔·赛斯 三 2011 使用本地搜索查找MSSe和MUSe。 Zbl 1176.90410号 埃里克·格雷戈里;贝特朗·马祖尔;塞德里克馅饼 12 2009 MUS计算决策过程的有效组合。 Zbl 1193.68226号 塞德里克馅饼;尤塞夫·哈马迪;拉赫达尔·塞伊斯 2 2009 这组条款是否与至少一个MUS重叠? Zbl 1250.68234号 埃里克·格雷戈里;贝特朗·马祖尔;塞德里克馅饼 1 2009 mUS的局部搜索提取。 Zbl 1211.90307号 埃里克·格雷戈里;贝特朗·马祖尔;塞德里克馅饼 10 2007 必须:提供不满足的详细解释。 Zbl 1145.68516号 埃里克·格雷戈里;贝特朗·马祖尔;塞德里克馅饼 6 2007 所有引用的出版物 前5名被引用出版物 全部的 前5名59位作者引用 5 埃里克·格雷戈里 4 林奇,因斯 三 刘伟儒 三 Joáo P.塞尔瓦侯爵。 三 贝特朗·马祖尔 2 凯文·麦克拉维 2 穆克甸 2 塞德里克馅饼 2 维克多·舒潘 2 斯特里赫曼(Ofer Strichman) 2 张杜 1 扎赫·安德劳斯(Zaher S.Andraus)。 1 克劳迪奥·安吉奥内 1 米盖尔·安霍斯(Miguel F.Anjos)。 1 大卫·A·贝尔。 1 安东·贝洛夫 1 罗伯托·布鲁托梅索 1 劳伦斯·乔维 1 西蒙·德·吉夫里 1 托马斯·德拉斯克 1 尤金·弗洛伊德。 1 伊恩·菲利普·根特 1 罗曼·格什曼 1 尤塞夫·哈马迪 1 安东尼·亨特 1 赛义德·贾布尔 1 米科拉什·亚诺塔 1 金、志 1 玛雅·科夫曼 1 塞巴斯蒂安·科尼埃奇尼 1 Jean-Marie拉格尼茨 1 李铁军 1 马克·利菲顿。 1 马可凡 1 Vasco M.Manquinho。 1 鲁本·马丁斯 1 Ciaran McCreesh 1 伊恩·米格尔 1 马赫·姆奈姆 1 Neil C.A.摩尔。 1 亚历山大·纳德尔 1 朱塞佩·尼科西亚 1 Peter W.南丁格尔。 1 安娜丽莎·奥奇芬蒂 1 劳伦特·佩鲁塞尔 1 帕特里克·普洛瑟 1 西蒙·富尔维奥·罗里尼 1 瓦迪姆·雷夫钦 1 拉赫达尔·塞伊斯 1 卡里姆·A·萨卡拉。 1 娜塔莎·莎莉吉娜 1 Jean-Marc Thévenin女士 1 阿里亚克西·齐托维奇 1 不值得,克里斯 1 汉斯·范马伦 1 曼努埃尔·维埃拉。 1 汤姆·沃纳 1 Siert Wieringa公司 1 张建民 全部的 前5名12篇连载文章中引用 5 约束条件 三 国际近似推理杂志 三 国际语义计算杂志 2 人工智能 2 系统设计中的形式化方法 1 离散应用数学 1 理论计算机科学 1 计算机程序设计科学 1 运筹学年鉴 1 逻辑程序设计理论与实践 1 ACM实验算法杂志 1 可满足性、布尔建模与计算杂志 在4个字段中引用 22 计算机科学(68至XX) 7 运筹学、数学规划(90-XX) 4 数理逻辑与基础(03-XX) 1 博弈论、经济学、金融学以及其他社会和行为科学(91-XX) 按年份列出的引文