An average-case analysis of the Gaussian algorithm for lattice reduction H Daudé, P Flajolet, B Vallée
Combinatorics, Probability and Computing 6 (4), 397-433, 1997
82 1997 An upper bound on the average number of iterations of the LLL algorithm H Daudé, B Vallée
Theoretical Computer Science 123 (1), 95-115, 1994
76 1994 Satisfiability threshold for random XOR-CNF formulas N Creignou, H Daude
Discrete Applied Mathematics 96, 41-53, 1999
74 1999 Generalized satisfiability problems: minimal elements and phase transitions N Creignou, H Daudé
Theoretical Computer Science 302 (1-3), 417-430, 2003
50 2003 Combinatorial sharpness criterion and phase transition classification for random CSPs N Creignou, H Daudé
Information and Computation 190 (2), 220-238, 2004
39 2004 Coarse and Sharp Transitions for Random Generalized Satisfyability Problems N Creignou, H Daudé
Mathematics and Computer Science III: Algorithms, Trees, Combinatorics and …, 2004
36 * 2004 Pairs of sat-assignments in random boolean formulæ H Daudé, M Mézard, T Mora, R Zecchina
Theoretical Computer Science 393 (1-3), 260-279, 2008
34 2008 Smooth and sharp thresholds for random -XOR-CNF satisfiability N Creignou, H Daudé
RAIRO-Theoretical Informatics and Applications-Informatique Théorique et …, 2003
31 2003 Approximating the satisfiability threshold for random k-XOR-formulas N Creignou, H Daudé, O Dubois
Combinatorics, Probability and Computing 12 (2), 113-126, 2003
30 2003 The SAT–UNSAT transition for random constraint satisfaction problems N Creignou, H Daudé
Discrete mathematics 309 (8), 2085-2099, 2009
29 2009 Random 2 XORSAT phase transition D Hervé, R Vlady
Algorithmica 59 (1), 48-65, 2011
26 2011 Phase transition for random quantified XOR-formulas N Creignou, H Daudé, U Egly
Journal of Artificial Intelligence Research 29, 1-18, 2007
16 2007 An analysis of the Gaussian algorithm for lattice reduction H Daudé, P Flajolet, B Vallée
Algorithmic Number Theory: First International Symposium, ANTS-I Ithaca, NY …, 1994
16 1994 Random 2-XORSAT at the satisfiability threshold H Daudé, V Ravelomanana
Latin American Symposium on Theoretical Informatics, 12-23, 2008
15 2008 The MAX-CUT of sparse random graphs H Daudé, C Martínez, V Rasendrahasina, V Ravelomanana
Proceedings of the twenty-third annual ACM-SIAM symposium on Discrete …, 2012
12 2012 New results on the phase transition for random quantified Boolean formulas N Creignou, H Daudé, U Egly, R Rossignol
Theory and Applications of Satisfiability Testing–SAT 2008: 11th …, 2008
11 2008 Des factions continues a la reduction des reseaux: analyse en moyenne H Daudé
Caen, 1993
9 1993 A sharp threshold for the renameable-Horn and the q-Horn properties N Creignou, H Daudé, J Franco
Discrete applied mathematics 153 (1-3), 48-57, 2005
8 2005 (1, 2)-QSAT: A Good Candidate for Understanding Phase Transitions Mechanisms N Creignou, H Daudé, U Egly, R Rossignol
International Conference on Theory and Applications of Satisfiability …, 2009
6 2009 Sensitivity of Boolean formulas N Creignou, H Daudé
European Journal of Combinatorics 34 (5), 793-805, 2013
5 2013