Hervé Daudé

Publication Activity (10 Years)

Years Active: 1994-2015
Publications (10 Years): 1

Top Topics

Easy Hard Easy Pattern

Phase Transition

Boolean Formula

Constraint Satisfaction

Top Venues

RAIRO Theor. Informatics Appl.

Publications

Nadia Creignou, Hervé Daudé, Uwe Egly, Raphaël Rossignol
Exact location of the phase transition for random (1, 2)-QSAT. RAIRO Theor. Informatics Appl. 49 (1) (2015)
Nadia Creignou, Hervé Daudé
Sensitivity of Boolean formulas. Eur. J. Comb. 34 (5) (2013)
Hervé Daudé, Conrado Martínez, Vonjy Rasendrahasina, Vlady Ravelomanana
The MAX-CUT of sparse random graphs. SODA (2012)
Hervé Daudé, Vlady Ravelomanana
Random 2 XORSAT Phase Transition. Algorithmica 59 (1) (2011)
Nadia Creignou, Hervé Daudé, Uwe Egly
Phase Transition for Random Quantified XOR-Formulas CoRR (2011)
Nadia Creignou, Hervé Daudé, Uwe Egly, Raphaël Rossignol
(1, 2)-QSAT: A Good Candidate for Understanding Phase Transitions Mechanisms. SAT (2009)
Nadia Creignou, Hervé Daudé, Uwe Egly, Raphaël Rossignol
The threshold for random (1,2)-QSAT CoRR (2009)
Nadia Creignou, Hervé Daudé
The SAT-UNSAT transition for random constraint satisfaction problems. Discret. Math. 309 (8) (2009)
Hervé Daudé, Marc Mézard, Thierry Mora, Riccardo Zecchina
Pairs of SAT-assignments in random Boolean formulæ. Theor. Comput. Sci. 393 (1-3) (2008)
Nadia Creignou, Hervé Daudé, Uwe Egly, Raphaël Rossignol
New Results on the Phase Transition for Random Quantified Boolean Formulas. SAT (2008)
Hervé Daudé, Vlady Ravelomanana
Random 2-XORSAT at the Satisfiability Threshold. LATIN (2008)
Nadia Creignou, Hervé Daudé, Uwe Egly
Phase Transition for Random Quantified XOR-Formulas. J. Artif. Intell. Res. 29 (2007)
Nadia Creignou, Hervé Daudé, John V. Franco
A sharp threshold for the renameable-Horn and the q-Horn properties. Discret. Appl. Math. 153 (1-3) (2005)
Hervé Daudé, Marc Mézard, Thierry Mora, Riccardo Zecchina
Pairs of SAT Assignment in Random Boolean Formulae CoRR (2005)
Nadia Creignou, Hervé Daudé
Combinatorial sharpness criterion and phase transition classification for random CSPs. Inf. Comput. 190 (2) (2004)
Nadia Creignou, Hervé Daudé
-XOR-CNF satisfiability. RAIRO Theor. Informatics Appl. 37 (2) (2003)
Nadia Creignou, Hervé Daudé
Generalized satisfiability problems: minimal elements and phase transitions. Theor. Comput. Sci. 302 (1-3) (2003)
Nadia Creignou, Hervé Daudé, Olivier Dubois
Approximating The Satisfiability Threshold For Random K-Xor-Formulas. Comb. Probab. Comput. 12 (2) (2003)
Nadia Creignou, Hervé Daudé, Olivier Dubois
Approximating the satisfiability threshold for random k-XOR-formulas CoRR (2001)
Nadia Creignou, Hervé Daudé
Satisfiability Threshold for Random XOR-CNF Formulas. Discret. Appl. Math. (1999)
Hervé Daudé, Philippe Flajolet, Brigitte Vallée
An Average-Case Analysis of the Gaussian Algorithm for Lattice Reduction. Comb. Probab. Comput. 6 (4) (1997)
Hervé Daudé, Philippe Flajolet, Brigitte Vallée
An analysis of the Gaussian algorithm for lattice reduction. ANTS (1994)
Hervé Daudé, Brigitte Vallée
An Upper Bound on the Average Number of Iterations of the LLL Algorithm. Theor. Comput. Sci. 123 (1) (1994)