编辑配置文件(在新选项卡中打开) 丹尼尔·勒贝雷 合著者距离 作者ID: le-berre.daniel公司 发布日期: 丹尼尔·勒贝雷 编入索引的文档: 18出版物自1999年以来 2作为编辑的贡献 合著者: 28位合著者具有19联合出版物 637位合作作者 全部的 前5名合著者 1 单作者的 5 Laurent S.R.西蒙。 4 皮埃尔·侯爵 2 穆苏诺里·班巴拉 2 塞勒姆·本费哈特 2 西尔维·科斯特·马奎斯 2 弗洛里安·莱托姆 2 伊曼纽尔·隆卡 2 苏,武藏 2 阿曼多·塔切拉 2 田村直之 2 罗曼·沃隆 1 阿明·比尔 1 格哈德·布鲁卡 1 纳迪亚·克里诺 1 蒂亚戈,德利马 1 迪迪埃·杜布瓦 1 苏希拉·卡奇 1 弗里德里克·科里奇 1 Jean-Marie拉格尼茨 1 摩根·马根 1 诺伯特·曼恩 1 瓦伦丁·蒙米拉 1 马西莫·纳里扎诺 1 梅尔特姆·厄兹蒂尔克 1 亨利·普拉德。 1 圣埃芬尼罗塞尔 1 雷吉斯·萨巴丁 1 玛丽·安妮·威廉姆斯 系列 2 人工智能 2 可满足性、布尔建模与计算杂志 1 计算机基础理论 1 计算机科学课堂讲稿 全部的 前5名领域 18 计算机科学(68至XX) 三 数学逻辑和基础(03-XX) 2 总体主题;集合(00-XX) 1 组合数学(05-XX) 1 运筹学、数学规划(90-XX) 1 博弈论、经济学、金融和其他社会和行为科学(91-XX) 1 生物学和其他自然科学(92-XX) 按年份列出的出版物 所有引用出版物 前5名被引用出版物 zbMATH Open中包含的引文 16出版物有被引用106中的次94文件 引用人▼ 年份▼ 定性选择逻辑。 Zbl 1085.68159号 格哈德·布鲁卡;塞勒姆·本费哈特;丹尼尔·勒贝雷 28 2004 削弱迭代修订和知识集成的冲突信息。 Zbl 1085.68156号 塞勒姆·本费哈特;苏希拉·卡奇;丹尼尔·勒贝雷;玛丽·安妮·威廉姆斯 18 2004 2003年SAT竞赛要点。 Zbl 1204.68203号 丹尼尔·勒贝雷;西蒙,劳伦特 14 2004 开发单位传播前瞻的实际能力。 Zbl 0990.90538号 丹尼尔·勒贝雷 8 2001 使用可能性逻辑建模定性决策:基于ATMS的算法。 Zbl 0930.68146号 迪迪埃·杜布瓦;丹尼尔·勒贝雷;亨利·普拉德;雷吉斯·萨巴丁 7 1999 温哥华55名解题者:2004年SAT竞赛。 Zbl 1122.68609号 丹尼尔·勒贝雷;西蒙,劳伦特 7 2005 哈密顿循环问题的基于SAT的增量方法,带有本地布尔基数处理。 Zbl 1432.68420号 苏,武藏;丹尼尔·勒贝雷;圣埃芬尼罗塞尔;穆苏诺里·班巴拉;田村直之 5 2014 检测CNF中的基数约束。 兹比尔1423.68437 阿明·比尔;丹尼尔·勒贝雷;伊曼纽尔·隆卡;诺伯特·曼恩 4 2014 第二个QBF解决方案的比较评估。 Zbl 1122.68608号 丹尼尔·勒贝雷;马西莫·纳里扎诺;西蒙,劳伦特;阿曼多·塔切拉 三 2005 QBF领域的挑战:2003年SAT对QBF解决方案的评估。 Zbl 1204.68204号 丹尼尔·勒贝雷;西蒙,劳伦特;阿曼多·塔切拉 三 2004 基于完整命题语言的量化布尔公式的复杂性结果。 兹比尔1116.68082 西尔维·科斯特·马奎斯;丹尼尔·勒贝雷;弗洛里安·莱托姆;皮埃尔·侯爵 三 2006 特刊:关于2005年SAT竞赛和评估。 Zbl 1109.68317号 2 2006 量化可重命名Horn公式的分支启发式。 Zbl 1128.68459号 科斯特·马奎斯,西尔维;丹尼尔·勒贝雷;弗洛里安·莱托姆 1 2005 一种基于假设的求解最小S5可满足性问题的方法。 Zbl 1511.68321号 Jean-Marie拉格尼茨;丹尼尔·勒贝雷;蒂亚戈,德利马;瓦伦丁·蒙米拉 1 2018 满意度测试的理论和应用——2016年SAT。第19届国际会议,法国波尔多,2016年7月5-8日。诉讼程序。 Zbl 1337.68009号 1 2016 PB解决者的弱化策略。 Zbl 07331030号 丹尼尔·勒贝雷;皮埃尔·侯爵;罗曼·沃隆 1 2020 PB解决者的弱化策略。 Zbl 07331030号 丹尼尔·勒贝雷;皮埃尔·侯爵;罗曼·沃隆 1 2020 一种基于假设的求解最小S5可满足性问题的方法。 Zbl 1511.68321号 Jean-Marie拉格尼茨;丹尼尔·勒贝雷;蒂亚戈,德利马;瓦伦丁·蒙米拉 1 2018 满意度测试的理论和应用——2016年SAT。第19届国际会议,法国波尔多,2016年7月5-8日。诉讼程序。 Zbl 1337.68009号 1 2016 哈密顿循环问题的基于SAT的增量方法,带有本地布尔基数处理。 Zbl 1432.68420号 苏,武藏;丹尼尔·勒贝雷;圣埃芬尼罗塞尔;穆苏诺里·班巴拉;田村直之 5 2014 检测CNF中的基数约束。 Zbl 1423.68437号 阿明·比尔;丹尼尔·勒贝雷;伊曼纽尔·隆卡;诺伯特·曼恩 4 2014 基于完整命题语言的量化布尔公式的复杂性结果。 Zbl 1116.68082号 西尔维·科斯特·马奎斯;丹尼尔·勒贝雷;弗洛里安·莱托姆;皮埃尔·侯爵 三 2006 特刊:关于2005年SAT竞赛和评估。 兹比尔1109.68317 2 2006 温哥华55名解题者:2004年SAT竞赛。 Zbl 1122.68609号 丹尼尔·勒贝雷;西蒙,劳伦特 7 2005 第二个QBF解决方案的比较评估。 Zbl 1122.68608号 丹尼尔·勒贝雷;马西莫·纳里扎诺;西蒙,劳伦特;阿曼多·塔切拉 三 2005 量化可重命名Horn公式的分支启发式。 Zbl 1128.68459号 科斯特·马奎斯,西尔维;丹尼尔·勒贝雷;弗洛里安·莱托姆 1 2005 定性选择逻辑。 Zbl 1085.68159号 格哈德·布鲁卡;塞勒姆·本费哈特;丹尼尔·勒贝雷 28 2004 削弱迭代修订和知识集成的冲突信息。 Zbl 1085.68156号 塞勒姆·本费哈特;苏希拉·卡奇;丹尼尔·勒贝雷;玛丽·安妮·威廉姆斯 18 2004 2003年SAT竞赛的要点。 Zbl 1204.68203号 丹尼尔·勒贝雷;西蒙,劳伦特 14 2004 QBF领域的挑战:2003年SAT对QBF解决方案的评估。 Zbl 1204.68204号 丹尼尔·勒贝雷;西蒙,劳伦特;阿曼多·塔切拉 三 2004 开发单位传播前瞻的实际能力。 Zbl 0990.90538号 丹尼尔·勒贝雷 8 2001 使用可能性逻辑建模定性决策:基于ATMS的算法。 Zbl 0930.68146号 迪迪埃·杜布瓦;丹尼尔·勒贝雷;亨利·普拉德;雷吉斯·萨巴丁 7 1999 所有引用出版物 前5名被引用出版物 全部的 前5名189位作者引用 7 亨利·普拉德。 5 塞勒姆·本费哈特 4 苏希拉·卡奇 4 卡里玛·塞奇 4 斯特凡·沃尔特兰 三 迈克尔·伯恩雷特 三 阿明·比尔 三 恩里科·金西格里亚 三 阿列尔·哈贾利 三 Heule,Marijn J.H。 三 马可·马拉提亚 2 安吉洛斯·查拉兰比迪斯 2 罗伯托·孔瓦洛尼埃里 2 克里斯塔尼·马特奥 2 Czarnecki、Krzysztof 2 詹姆斯·德尔格兰德。 2 迪迪埃·杜布瓦 2 托马斯·艾特 2 马塞洛·阿莱杭德罗·法拉帕 2 维杰·加内什 2 加西亚,亚历杭德罗·哈维尔 2 圭多州长 2 马库斯·伊泽尔 2 马蒂·Järvisalo 2 丹尼尔·勒贝雷 2 李楚敏 2 刘伟如 2 弗洛里安·朗辛 2 简·马利 2 皮埃尔·侯爵 2 穆克甸 2 弗朗西斯科·奥利维里 2 帕夫洛斯·佩帕斯 2 帕诺斯·朗多吉安尼 2 安东尼诺·罗托洛 2 马蒂娜·塞德尔 2 巴特·塞尔曼 2 吉列尔莫·里卡多·西马里 2 Laurent S.R.西蒙。 2 卡斯滕·辛兹 2 阿伦·斯塔姆 2 马丁·苏达 2 王克文 2 文,廉 2 玛丽·安妮·威廉姆斯 2 爱德华·祖尔科斯基 1 马克·艾吉尔 1 巴拉西姆·萨迪 1 莱拉·阿姆古德 1 阿拉瓦尼斯·提奥凡尼斯一世。 1 亚历山德罗·阿曼多 1 贾马尔·阿蒂夫 1 吉尔·奥德玛 1 阿德里安·巴林特 1 克拉克·W·巴雷特。 1 萨姆·贝利斯 1 大卫·A·贝尔。 1 克里斯蒂安·贝西尔 1 奥拉夫·拜尔斯多夫 1 梅亨·宾文努 1 乔舒亚·布林霍恩 1 伊莎贝尔·布洛赫 1 Jean-François Bonnefon 1 帕特里克·博斯克 1 格哈德·布鲁卡 1 布莱特,柯蒂斯 1 布鲁尼,雷纳托 1 乌韦·布贝克 1 蔡少伟 1 埃里卡·卡拉多 1 克劳迪奥·卡斯泰里尼 1 常、琼 1 克劳迪娜·朝义亚 1 菲利普·查塔利克 1 陈廷玉 1 勒罗伊·周 1 大卫·R·科克。 1 达莫塔,贝诺特 1 Da Silva Neves,鲁伊 1 阿德南·达尔维切 1 莱昂纳多·德·莫拉 1 吉勒·德肯 1 伊曼纽尔·迪·罗莎 1 奥利维尔·杜波伊斯 1 埃格利,乌韦 1 托拜厄斯·艾巴赫 1 帕夫洛斯·艾里纳基斯 1 萨图·埃洛兰塔 1 爱德华多·利奥波多·费尔梅 1 塞萨尔·费尔南德斯。 1 奥利维尔·福德里诺伊 1 罗伯特·弗雷曼 1 弗里茨,克里斯蒂安 1 弗罗莱克斯,尼尔斯 1 劳伦特·加西亚 1 卡拉·戈麦斯。 1 格奥尔格·戈特洛布 1 埃里克·格雷戈里 1 劳尔·哈克利 1 斯文·奥夫·汉森 …还有89位作者 全部的 前5名17篇连载文章中引用 13 人工智能 12 自动推理杂志 6 约束条件 5 模糊集与系统 5 国际近似推理杂志 4 离散应用数学 4 哲学逻辑杂志 三 数学与人工智能年鉴 三 逻辑程序设计理论与实践 2 合成 2 理论计算机科学 2 应用非经典逻辑杂志 2 人工智能研究杂志 1 信息科学 1 国际智能系统杂志 1 启发式杂志 1 离散优化 全部的 前5名10个字段中引用 81 计算机科学(68至XX) 25 数学逻辑和基础(03-XX) 7 运筹学、数学规划(90-XX) 5 博弈论、经济学、金融和其他社会和行为科学(91-XX) 2 组合数学(05-XX) 2 信息与通信理论、电路(94-XX) 1 历史和传记(01-XX) 1 统计学(62-XX) 1 数值分析(65-XX) 1 生物学和其他自然科学(92-XX) 按年份列出的引文