编辑配置文件（在新选项卡中打开） 劳雷·德文德维尔 合著者距离 作者ID： 德文德维尔·劳尔 发布日期： 劳雷·德文德维尔;德文德维尔，L。 已编制索引的文档： 2出版物自2005年以来 合著者： 6位合著者具有2联合出版物 98位合作作者 全部的 前5名合著者 0 单作者的 2 西尔万·达拉斯 2 吉尔·迪肯 1 李楚敏 1 贝特朗·马祖尔 1 理查德·奥斯特洛夫斯基 1 拉赫达尔·塞伊斯 系列 字段 2 计算机科学（68至XX） 按年份列出的出版物 所有引用出版物 前5名被引用出版物 zbMATH Open中包含的引文 2出版物有被引用7中的次7文件 引用人▼ 年份▼ Max-SAT求解中的不一致子句子集。 兹比尔1145.68509 西尔万·达拉斯;吉尔·迪肯;劳雷·德文德维尔;李楚敏 6 2007 使用布尔约束传播进行子子句推导。 Zbl 1153.68456号 达拉斯，S。;邓肯（G.Dequen）。;德文德维尔，L。;Mazure，B。;R.奥斯特罗斯基。;塞伊斯，L。 1 2005 Max-SAT求解中的不一致子句子集。 Zbl 1145.68509号 Darras，西尔万;吉尔·迪肯;劳雷·德文德维尔;李楚敏 6 2007 使用布尔约束传播进行子子句推导。 Zbl 1153.68456号 达拉斯，S。;邓肯（G.Dequen）。;德文德维尔，L。;Mazure，B。;R.奥斯特罗斯基。;塞伊斯，L。 1 2005 所有引用出版物 前5名被引用出版物 全部的 前5名19位作者引用 三 乔迪，飞机 2 卡洛斯·安索特吉 2 李楚敏 2 很多，费利普 2 穆罕默德·乌尔德 1 巴拉西姆·萨迪 1 塔斯尼姆·纳赛尔·叶海亚 1 玛丽亚·路易莎·博内 1 穆罕默德·埃尔巴奇尔·梅奈 1 奥利维尔·福德里诺伊 1 乔尔·加布 1 埃里克·格雷戈伊尔 1 约尔迪·利维 1 尤里·马利茨基 1 Vasco M.Manquinho。 1 Joáo P.塞尔瓦侯爵。 1 贝特朗·马祖尔 1 拉赫达尔·塞伊斯 1 梅诺夫·塞尔曼 4篇连载文章中引用 1 人工智能 1 计算机科学与技术杂志 1 数学与人工智能年鉴 1 约束条件 在1个字段中引用 7 计算机科学（68至XX） 按年份列出的引文