Search the dblp DataBase

Publications of Author

1. Hervé Daudé, Philippe Flajolet, Brigitte Vallée
   An analysis of the Gaussian algorithm for lattice reduction. [Citation Graph (0, 0)][DBLP]
   ANTS, 1994, pp:144-158 [Conf]
   
2. Nadia Creignou, Hervé Daudé, Olivier Dubois
   Approximating the satisfiability threshold for random k-XOR-formulas [Citation Graph (0, 0)][DBLP]
   CoRR, 2001, v:0, n:, pp:- [Journal]
   
3. Nadia Creignou, Hervé Daudé, Olivier Dubois
   Approximating The Satisfiability Threshold For Random K-Xor-Formulas. [Citation Graph (0, 0)][DBLP]
   Combinatorics, Probability & Computing, 2003, v:12, n:2, pp:- [Journal]
   
4. Hervé Daudé, Philippe Flajolet, Brigitte Vallée
   An Average-Case Analysis of the Gaussian Algorithm for Lattice Reduction. [Citation Graph (0, 0)][DBLP]
   Combinatorics, Probability & Computing, 1997, v:6, n:4, pp:397-433 [Journal]
   
5. Nadia Creignou, Hervé Daudé
   Satisfiability Threshold for Random XOR-CNF Formulas. [Citation Graph (0, 0)][DBLP]
   Discrete Applied Mathematics, 1999, v:96, n:, pp:41-53 [Journal]
   
6. Nadia Creignou, Hervé Daudé, John V. Franco
   A sharp threshold for the renameable-Horn and the q-Horn properties. [Citation Graph (0, 0)][DBLP]
   Discrete Applied Mathematics, 2005, v:153, n:1-3, pp:48-57 [Journal]
   
7. Nadia Creignou, Hervé Daudé
   Combinatorial sharpness criterion and phase transition classification for random CSPs. [Citation Graph (0, 0)][DBLP]
   Inf. Comput., 2004, v:190, n:2, pp:220-238 [Journal]
   
8. Nadia Creignou, Hervé Daudé
   Smooth and sharp thresholds for random k-XOR-CNF satisfiability. [Citation Graph (0, 0)][DBLP]
   ITA, 2003, v:37, n:2, pp:127-147 [Journal]
   
9. Nadia Creignou, Hervé Daudé
   Generalized satisfiability problems: minimal elements and phase transitions. [Citation Graph (0, 0)][DBLP]
   Theor. Comput. Sci., 2003, v:302, n:1-3, pp:417-430 [Journal]
   
10. Hervé Daudé, Brigitte Vallée
    An Upper Bound on the Average Number of Iterations of the LLL Algorithm. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 1994, v:123, n:1, pp:95-115 [Journal]
    
11. Nadia Creignou, Hervé Daudé, Uwe Egly
    Phase Transition for Random Quantified XOR-Formulas. [Citation Graph (0, 0)][DBLP]
    J. Artif. Intell. Res. (JAIR), 2007, v:29, n:, pp:1-18 [Journal]
    
12. 
    Random 2-XORSAT at the Satisfiability Threshold. [Citation Graph (, )][DBLP]
    
    
13. 
    New Results on the Phase Transition for Random Quantified Boolean Formulas. [Citation Graph (, )][DBLP]
    
    
14. 
    (1, 2)-QSAT: A Good Candidate for Understanding Phase Transitions Mechanisms. [Citation Graph (, )][DBLP]
    
    
15. 
    Pairs of SAT Assignment in Random Boolean Formulae [Citation Graph (, )][DBLP]
    
    
16. 
    The threshold for random (1,2)-QSAT [Citation Graph (, )][DBLP]
    
    
17. 
    The SAT-UNSAT transition for random constraint satisfaction problems. [Citation Graph (, )][DBLP]