Institut de Mathématiques de Marseille, UMR 7373




Rechercher


Accueil >

Photo de DAUDÉ Hervé
DAUDÉ Hervé      
Organisme : Aix Marseille Université
Maître de Conférences
herve.daude_AT_univ-amu.fr
04 13 55 14 26
Bureau: 149, Bât: CMI - Site : Chateau-Gombert

Administration Locale:
  • Responsable de formations
Domaines de Recherche:

Productions scientifiques :
--------------------
+ Sensitivity of Boolean formulas hal link

Auteur(s): Daudé H.

(Article) Publié: European Journal Of Combinatorics, vol. 34 p.793-805 (2013)

--------------------
+ Random 2-XORSAT phase transition doi link

Auteur(s): Daudé H., Ravelomanana Vlady

(Article) Publié: Algorithmica, vol. p.48-65 (2011)

--------------------
+ Pairs of SAT Assignment in Random Boolean Formulae doi link

Auteur(s): Daudé Hervé, Mezard Marc, Mora Thierry, Zecchina Riccardo

(Article) Publié: Theoretical Computer Science, vol. 393 p.260-279 (2008)

--------------------
+ Approximating the satisfaibility threshold for random k-XOR formulas doi link

Auteur(s): Creignou Nadia, Daudé Hervé, Dubois Olivier

(Article) Publié: Combinatorics, Probability And Computing, vol. 12 p.113-126 (2003)