吉尔斯·奥德马尔
人员信息
优化列表
2020年–今天
2024 [公元53年] 蒂鲍特·法尔克 , 吉尔斯·奥德马尔 , 克里斯托夫·勒库特 , 贝特朗迷宫 :
CDG国际机场登机手续办理台时间表优化。 AAAI公司 2024 : 22743-22751 2023 [第52条] 吉尔斯·奥德马尔 , Jean-Marie Lagniez女士 , 皮埃尔·马奎斯 , 尼古拉斯·斯泽潘斯基 :
计算增强树的诱因解释。 AISTATS公司 2023 : 4699-4711 [第51条] 吉尔斯·奥德马尔 , 克里斯托夫·勒库特 , 查尔斯·普鲁德霍姆 :
在约束传播期间通过跟踪变量指导回溯搜索。 人物配对关系 2023 : 9:1-9:17 [公元50年] 吉尔斯·奥德马尔 , Jean-Marie Lagniez女士 , 皮埃尔·马奎斯 , 尼古拉斯·斯泽潘斯基 :
基于树的分类器的对比解释。 ECAI公司 2023 : 117-124 [公元49年] 吉尔斯·奥德马尔 , 史蒂夫·贝拉特 , 路易娜斯·布尼亚 , Frédéric Koriche , Jean-Marie Lagniez女士 , 皮埃尔·马奎斯 :
事实上的解释是,诱拐是为了实现目的。 EGC公司 2023 : 507-514 [公元48年] 吉尔斯·奥德马尔 , 史蒂夫·贝拉特 , 路易娜斯·布尼亚 , Jean-Marie Lagniez女士 , 皮埃尔·马奎斯 , 尼古拉斯·什切潘斯基 :
PyXAI:calculer en Python des explications pour des modèles d'applicantissage supervisoré。 EGC公司 2023 : 581-588 [公元47年] 吉尔斯·奥德马尔 , 史蒂夫·贝拉特 , Jean-Marie Lagniez女士 , 皮埃尔·马奎斯 :
计算增强回归树的外推解释。 国际JCAI 2023 : 3432-3441 [i8] 吉尔斯·奥德马尔 , 克里斯托夫·勒库特 , 艾曼纽尔·隆卡 :
2023年XCSP3竞赛记录。 CoRR公司 abs/2312.05877 ( 2023 ) 2022 [j6] 吉尔斯·奥德马尔 , 史蒂夫·贝拉特 , 卢埃纳斯·布尼亚 , Frédéric Koriche , Jean-Marie Lagniez女士 , 皮埃尔·马奎斯 :
关于布尔决策树的解释能力。 数据知识。 工程师。 142 : 102088 ( 2022 ) [公元46年] 吉尔斯·奥德马尔 , 史蒂夫·贝拉特 , 路易娜斯·布尼亚 , Frédéric Koriche , Jean-Marie Lagniez女士 , 皮埃尔·马奎斯 :
在随机森林解释中以复杂性换取稀疏性。 AAAI公司 2022 : 5461-5469 [公元45年] 吉勒·奥德玛 , 史蒂夫·贝拉特 , 路易娜斯·布尼亚 , Frédéric Koriche , Jean-Marie Lagniez女士 , 皮埃尔·马奎斯 :
多数理由:对诱拐的解释为存在的理由。 EGC公司 2022 : 123-134 [公元44年] 吉尔斯·奥德马尔 , 史蒂夫·贝拉特 , 路易娜斯·布尼亚 , Frédéric Koriche , Jean-Marie Lagniez女士 , 皮埃尔·马奎斯 :
这是对决定的解释。 EGC公司 2022 : 147-158 [公元43年] 吉尔斯·奥德马尔 , Jean-Marie Lagniez女士 , 玛丽·米切利 , 奥利维尔·罗塞尔 :
命题形式中软核的识别。 ICAART(2) 2022 : 486-495 [公元42年] 吉尔斯·奥德马尔 , 史蒂夫·贝拉特 , 路易娜斯·布尼亚 , Frédéric Koriche , Jean-Marie Lagniez女士 , 皮埃尔·马奎斯 :
关于决策树和随机森林的偏好外推解释。 国际JCAI 2022 : 643-650 [公元41年] 吉尔斯·奥德马尔 , Jean-Marie Lagniez女士 , 玛丽·米切利 :
一种新的(加权)Max#SAT精确解算器。 坐 2022 : 28:1-28:20 [i7] 吉尔斯·奥德马尔 , 克里斯托夫·勒库特 , 艾曼纽尔·隆卡 :
2022年XCSP3竞赛记录。 CoRR公司 腹肌/2209.00917 ( 2022 ) [i6] 吉尔斯·奥德马尔 , Jean-Marie Lagniez女士 , 皮埃尔·马奎斯 , 尼古拉斯·斯泽潘斯基 :
计算增强树的诱因解释。 CoRR公司 abs/2209.07740 ( 2022 ) 2021 [公元40年] 尼古拉斯·斯泽潘斯基 , 吉尔斯·奥德马尔 , 莱蒂蒂亚·乔丹 , 克里斯托夫·勒库特 , 吕西安老鼠 , 纳达拉延·维拉彭 :
一种用于多目标非平衡分类的CP/MOLS混合方法。 GECCO公司 2021 : 723-731 [公元39年] 吉尔斯·奥德马尔 , 史蒂夫·贝拉特 , 路易娜斯·布尼亚 , Frédéric Koriche , Jean-Marie Lagniez女士 , 皮埃尔·马奎斯 :
关于布尔分类器的计算智能性。 韩国 2021 : 74-86 [i5] 吉尔斯·奥德马尔 , 史蒂夫·贝拉特 , 路易娜斯·布尼亚 , Frédéric Koriche , Jean-Marie Lagniez女士 , 皮埃尔·马奎斯 :
关于布尔分类器的计算智能性。 CoRR公司 abs/2104.06172 ( 2021 ) [i4] 吉尔斯·奥德马尔 , 史蒂夫·贝拉特 , 路易娜斯·布尼亚 , Frédéric Koriche , Jean-Marie Lagniez女士 , 皮埃尔·马奎斯 :
论决策树的解释力。 CoRR公司 abs/2108.05266 ( 2021 ) [i3] 吉尔斯·奥德马尔 , 史蒂夫·贝拉特 , 路易娜斯·布尼亚 , Frédéric Koriche , Jean-Marie Lagniez女士 , 皮埃尔·马奎斯 :
在随机森林解释中以复杂性换取稀疏性。 CoRR公司 腹肌/2108.05276 ( 2021 ) 2020 [j5] 吉勒·奥德玛 , Frédéric Boussemart餐厅 , 克里斯托夫·勒库特 , 塞德里克馅饼 , 奥利维尔·罗塞尔 :
XCSP公司 三 及其生态系统。 制约国际期刊。 25 ( 1-2 ) : 47-69 ( 2020 ) [公元38年] 吉勒·奥德玛 , 克里斯托夫·勒库特 , 梅赫迪·马马尔 :
分段表:约束推理的有效建模工具。 ECAI公司 2020 : 315-322 [公元37年] 吉尔斯·奥德马尔 , Frédéric Koriche , 皮埃尔·马奎斯 :
基于编译表示的可追踪XAI查询。 韩国 2020 : 838-849 [公元36年] 吉尔斯·奥德马尔 , 洛伊克·保列夫 , 劳伦特·西蒙 :
SAT遗产:社区驱动的归档、构建和运行数千个SAT解算器的工作。 坐 2020 : 107-113 [i2] 吉尔斯·奥德马尔 , 洛伊克·保列夫 , 劳伦特·西蒙 :
SAT遗产:一项由社区驱动的工作,用于归档、构建和运行数千名SAT解析器。 CoRR公司 abs/2006.01503 ( 2020 ) [i1] Frédéric Boussemart餐厅 , 克里斯托夫·勒库特 , 吉尔斯·奥德马尔 , 塞德里克·皮特 :
XCSP3-core:表示约束满足/优化问题的格式。 CoRR公司 abs/2009.00514 ( 2020 )
2010 – 2019
2018 【j4】 吉尔斯·奥德马尔 , 劳伦特·西蒙 :
在葡萄糖SAT求解器上。 国际艺术杂志。 智力。 工具 27 ( 1 ) : 1840001:1-1840001:25 ( 2018 ) 2017 [公元35年] 吉尔斯·奥德马尔 , Jean-Marie Lagniez女士 , 尼古拉斯·斯泽潘斯基 , 塞巴斯蒂安·塔巴里 :
糖浆的分布式版本。 坐 2017 : 215-232 2016 [公元34年] 吉尔斯·奥德马尔 , Jean-Marie Lagniez女士 , 尼古拉斯·斯泽潘斯基 , 塞巴斯蒂安·塔巴里 :
自适应并行SAT求解器。 人物配对关系 2016 : 30-48 [公元33年] 吉尔斯·奥德马尔 , 劳伦特·西蒙 :
SAT问题中的极端情况。 坐 2016 : 87-103 2014 [j3] 吉尔斯·奥德马尔 , 阿明·比尔 , Jean-Marie Lagniez女士 , 劳伦特·西蒙 :
Améliorer SAT负责干部增加。 《情报艺术评论》。 28 ( 5 ) : 593-614 ( 2014 ) [公元32年] 吉尔斯·奥德马尔 , 克里斯托夫·勒库特 , 穆尼·萨米·莫迪亚尔 , 吉尔斯·贡卡尔维斯 , 丹尼尔·科斯敏·波伦贝尔 :
子图同构问题的基于评分的邻域优势。 人物配对关系 2014 : 125-141 [公元31年] 吉尔斯·奥德马尔 , 贝诺·特霍森 , 萨伊德·贾布尔 , 塞德里克馅饼 :
求解可满足性问题的一种有效的分布式D&C方法。 产品开发计划 2014 : 183-187 [公元30年] 吉勒·奥德玛 , 贝诺·特霍森 , 萨伊德·贾布尔 , 塞德里克馅饼 :
Dolius:一个分布式并行SAT解决框架。 POS@SAT 2014 : 1-11 [公元29年] 吉尔斯·奥德马尔 , 劳伦特·西蒙 :
并行SAT解算器的惰性条款交换策略。 坐 2014 : 197-205 [公元28年] 扎克·纽瑟姆 , 维贾伊·加内什 , 塞巴斯蒂安·费奇梅斯特 , 吉尔斯·奥德马尔 , 劳伦特·西蒙 :
社区结构对SAT求解器性能的影响。 坐 2014 : 252-268 2013 [公元27年] 吉尔斯·奥德马尔 , Jean-Marie Lagniez女士 , 劳伦特·西蒙 :
实时编译知识库。 国际JCAI 2013 : 447-453 [公元26年] 吉尔斯·奥德马尔 , Jean-Marie Lagniez女士 , 劳伦特·西蒙 :
用假设提高血糖以进行增量SAT求解:应用于MUS提取。 坐 2013 : 309-317 2012 [公元25年] 吉尔斯·奥德马尔 , 劳伦特·西蒙 :
完善SAT和UNSAT的重启策略。 人物配对关系 2012 : 118-126 [公元24年] 吉勒·奥德玛 , 贝诺·特霍森 , 萨伊德·贾布尔 , Jean-Marie Lagniez女士 , 塞德里克馅饼 :
修改SAT并行求解中的子句交换。 坐 2012 : 200-213 2011 [c23] 吉尔斯·奥德马尔 , Jean-Marie Lagniez女士 , 贝特朗迷宫 , 拉赫达尔·赛斯 :
关于冻结和激活学习子句。 坐 2011 : 188-200 2010 [公元22年] 吉尔斯·奥德马尔 , 乔治·卡特西洛斯 , 劳伦特·西蒙 :
子句学习SAT解题器扩展解析的限制。 AAAI公司 2010 : 15-20 【c21】 吉尔斯·奥德马尔 , Jean-Marie Lagniez女士 , 贝特朗迷宫 , 拉赫达尔·赛斯 :
得益于cdcl,推动了本地搜索。 LPAR(日惹) 2010 : 474-488
2000 – 2009
2009 [公元20年] 吉尔斯·奥德马尔 , Jean-Marie Lagniez女士 , 贝特朗迷宫 , 拉赫达尔·赛斯 :
在本地搜索中学习。 国际通信技术协会 2009 : 417-424 [第19条] 吉尔斯·奥德马尔 , 劳伦特·西蒙 :
在现代SAT解题器中预测学习子句的质量。 国际JCAI 2009 : 399-404 [第18条] 吉尔斯·奥德马尔 , Jean-Marie Lagniez女士 , 贝特朗迷宫 , 拉赫达尔·赛斯 :
将冲突驱动子句学习集成到局部搜索中。 LSCS公司 2009 : 55-68 2008 [注2] 吉尔斯·奥德马尔 , 萨伊德·贾布尔 , 拉赫达尔·赛斯 :
SAT基于图形的表示:一个新的视角。 J.算法 63 ( 1-3 ) : 17-33 ( 2008 ) [第17条] 吉尔斯·奥德马尔 , 劳伦特·西蒙 :
冲突驱动子句学习算法中的小变化实验。 人物配对关系 2008 : 630-634 [第16条] 吉尔斯·奥德马尔 , 卢卡斯·波尔多 , 优素福·哈马迪 , 萨伊德·贾布尔 , 拉赫达尔·赛斯 :
冲突分析的通用框架。 坐 2008 : 21-27 2007 [第15条] 吉尔斯·奥德马尔 , 劳伦特·西蒙 :
GUNSAT:一种贪婪的不满足局部搜索算法。 国际JCAI 2007 : 2256-2261 [第14条] 吉尔斯·奥德马尔 , 萨伊德·贾布尔 , 拉赫达尔·赛斯 :
量化布尔公式中的对称破缺。 国际JCAI 2007 : 2262-2267 [第13条] 吉尔斯·奥德马尔 , 拉赫达尔·赛斯 :
基于电路的CNF公式编码。 坐 2007 : 16-21 2006 [j1] 吉尔斯·奥德马尔 , 贝莱德·本哈莫 , 劳伦特·海诺克 :
FOL有限模型搜索中对称性的预测和检测。 J.汽车。 原因。 36 ( 三 ) : 177-212 ( 2006 ) 2005 [第12条] 吉尔斯·奥德马尔 , 拉赫达尔·赛斯 :
量化布尔公式的基于符号搜索的方法。 坐 2005 : 16-30 2004 [第11条] 吉尔斯·奥德马尔 , 拉赫达尔·赛斯 :
量化布尔公式的基于SAT的BDD求解器。 国际通信技术协会 2004 : 82-89 [c10] 吉尔斯·奥德马尔 , 贝特朗迷宫 , 拉赫达尔·赛斯 :
处理量化布尔公式中的对称性。 坐 2004 【c9】 吉尔斯·奥德马尔 , 马可·波扎诺 , 亚历山德罗·西马蒂 , 罗伯托·塞巴斯蒂亚尼 :
用MathSAT验证工业混合系统。 BMC@CAV 2004 : 17-32 2002 【c8】 吉勒·奥德玛 , 皮埃尔吉奥·贝尔托利 , 亚历山德罗·西马蒂 , 阿图尔·科尼洛维奇 , 罗伯托·塞巴斯蒂亚尼 :
布尔运算和数学求解的集成:基础、基本算法和要求。 AISC公司 2002 : 231-245 【c7】 吉尔斯·奥德马尔 , 皮埃尔吉奥·贝尔托利 , 亚历山德罗·西马蒂 , 阿图尔·科尼洛维奇 , 罗伯托·塞巴斯蒂亚尼 :
基于SAT的布尔和线性数学命题公式求解方法。 CADE公司 2002 : 195-210 【c6】 吉尔斯·奥德马尔 , 贝莱德·本哈莫 :
有限模型生成中的对称推理和函数排序。 CADE公司 2002 : 226-240 【c5】 吉尔斯·奥德马尔 , 亚历山德罗·西马蒂 , 阿图尔·科尼洛维奇 , 罗伯托·塞巴斯蒂亚尼 :
时间系统的有界模型检查。 复地 2002 : 243-259 2001 【c4】 吉尔斯·奥德马尔 , 劳伦特·海诺克 :
扩展的最小数启发式。 国际JCAR 2001 : 427-442 【c3】 吉尔斯·奥德马尔 , 贝莱德·本哈莫 :
《现代音乐练习曲》结束。 JFPLC公司 2001 : 109-122 2000 【c2】 吉尔斯·奥德马尔 , 贝莱德·本哈莫 , 劳伦特·海诺克 :
改进有限模型搜索的两种技术。 CADE公司 2000 : 302-308 【c1】 吉尔斯·奥德马尔 , 贝莱德·本哈莫 , 皮埃尔·西格尔 :
AVAL:SAT的一种枚举方法。 计算逻辑 2000 : 373-383