The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Hervé Daudé: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

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]


Search in 0.003secs, Finished in 0.003secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002