奥利维尔·杜波伊斯 0002
人员信息
附属: 法国皮埃尔·居里大学CNRS
其他同名人员
奥利维尔·杜波伊斯 0001 -加拿大麦吉尔大学 奥利维尔·杜波伊斯 0003 -兰斯大学香槟-阿尔丁分校,法国
其他同名人员
优化列表
![笔记](https://dblp.dagstuhl.de/img/note-mark.dark.12x12.png)
2010 – 2019
2011 [i4] 亚辛·布夫哈德 , 奥利维尔·杜波伊斯 :
布尔CSP族的二阶矩方法。 CoRR公司 abs/1107.2737 ( 2011 )
2000 – 2009
2006 [公元12年] 吉勒·德肯 , 奥利维尔·杜波伊斯 :
一种求解随机问题的有效方法 k个 -sat问题。 J.汽车。 原因。 37 ( 4 ) : 261-276 ( 2006 ) 2005 [公元11年] 亚辛·布夫哈德 , 奥利维尔·杜波依斯 , Yannet Interian公司 , 巴特·塞尔曼 :
常规随机 k个 -SAT:平衡公式的性质。 J.汽车。 原因。 35 ( 1-3 ) : 181-200 ( 2005 ) 2004 [公元10年] 奥利维尔·杜波伊斯 , 盖·卢查德 , 雅克·曼德勒 :
加性分解、随机分配和阈值现象。 梳子。 普罗巴伯。 计算。 13 ( 4-5 ) : 537-575 ( 2004 ) 2003 [公元9年] 纳迪亚·克里尼努 , 埃尔维·多德 , 奥利维尔·杜波依斯 :
随机K-Xor公式的可满足性阈值的逼近。 梳子。 普罗巴伯。 计算。 12 ( 2 ) : 113-126 ( 2003 ) [j8] 亚辛·布夫哈德 , 奥利维尔·杜波伊斯 , 莫里斯·尼瓦特 :
从近似水平和垂直投影重建物体的(h,v)-凸二维图案。 理论。 计算。 科学。 290 ( 三 ) : 1647-1664 ( 2003 ) 【c6】 吉尔斯·德昆 , 奥利维尔·杜波伊斯 :
kcnfs:随机k-SAT公式的有效解算器。 坐 2003 : 486-501 [i3] 奥利维尔·杜波伊斯 , 亚辛·布夫哈德 , 雅克·曼德勒 :
典型的随机3-SAT公式和可满足性阈值。 电子。 计算机学术讨论会。 复杂。 TR03型 ( 2003 ) 2002 【c5】 奥利维尔·杜波伊斯 , 雅克·曼德勒 :
3-XORSAT阈值。 光纤通信系统 2002 : 769-778 [i2] 奥利维尔·杜波伊斯 , 亚辛·布夫哈德 , 雅克·曼德勒 :
典型的随机3-SAT公式和可满足性阈值。 CoRR公司 反恐精英。 DM/021036 ( 2002 ) 2001 [j7] 奥利维尔·杜波伊斯 , 雷米·莫纳森 , 巴特·塞尔曼 , 里卡多·泽奇纳 :
编辑。 理论。 计算。 科学。 265 ( 1-2 ) : 1 ( 2001 ) [j6] 奥利维尔·杜波伊斯 :
可满足性阈值的上限。 理论。 计算。 科学。 265 ( 1-2 ) : 187-197 ( 2001 ) 【c4】 奥利维尔·杜波伊斯 , 吉尔斯·德昆 :
10阶(3,1,2)-共轭正交幂等拉丁方的不存在性。 人物配对关系 2001 : 108-120 【c3】 奥利维尔·杜波依斯 , 吉尔斯·德昆 :
用于有效求解3-SAT硬公式的主干搜索启发式算法。 国际JCAI 2001 : 248-253 [i1] 纳迪亚·克里尼努 , 埃尔维·多德 , 奥利维尔·杜波伊斯 :
近似随机k-XOR公式的可满足阈值。 CoRR公司 反恐精英。 DM/0106001 ( 2001 ) 2000 【c2】 奥利维尔·杜波伊斯 , 亚辛·布夫哈德 , 雅克·曼德勒 :
典型的随机3-SAT公式和可满足性阈值。 SODA公司 2000 : 126-127
1990 – 1999
1999 [j5] 亚辛·布夫哈德 , 奥利维尔·杜波伊斯 :
素蕴涵体的长度和随机CNF公式的解的个数。 理论。 计算。 科学。 215 ( 1-2 ) : 1-30 ( 1999 ) 1993 【c1】 奥利维尔·杜波伊斯 , 帕斯卡·安德雷 , 亚辛·布夫哈德 , 雅克·卡利埃 :
SAT与UNSAT。 团、着色和可满足性 1993 : 415-436 1991 【j4】 奥利维尔·杜波伊斯 :
计算可满足性实例的解决方案数。 理论。 计算。 科学。 81 ( 1 ) : 49-64 ( 1991 ) [j3] 奥利维尔·杜波伊斯 , 雅克·卡利埃 :
可满足性问题的概率方法。 理论。 计算。 科学。 81 ( 1 ) : 65-75 ( 1991 ) 1990 [注2] 奥利维尔·杜波伊斯 :
关于r,s-SAT可满足性问题和Tovey的一个猜想。 谨慎。 申请。 数学。 26 ( 1 ) : 51-60 ( 1990 )
1980 – 1989
1989 [j1] J.C.西蒙 , 奥利维尔·杜波伊斯 :
可满足性实例的解决方案数量-在知识库中的应用。 Int.J.模式识别。 Artif公司。 智力。 三 ( 1 ) : 53-66 ( 1989 )
合著者索引
![](https://dblp.dagstuhl.de/img/cog.dark.24x24.png)